From 6e6ca4598bf28944b4c731e131bd223ca0c44cd6 Mon Sep 17 00:00:00 2001 From: Lukas Zaoral Date: Wed, 13 Oct 2021 13:23:04 +0200 Subject: test/Feature/FunctionAlias.c: Add missing CHECK-UNKNOWN prefix This test started to fail on LLVM 13 because FileCheck switched the default setting regarding the allowance of unused prefixes. This is now considered to be a fatal error. --- test/Feature/FunctionAlias.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/Feature/FunctionAlias.c b/test/Feature/FunctionAlias.c index e1d11d8c..c48b20f2 100644 --- a/test/Feature/FunctionAlias.c +++ b/test/Feature/FunctionAlias.c @@ -38,6 +38,8 @@ // CHECK-TYPE-MISMATCH: KLEE: WARNING: function-alias: @{{[a-z0-9]+}} could not be replaced with @{{[a-z0-9]+}} +// CHECK-UNKNOWN: KLEE: ERROR: function-alias: replacement function @unknownfunction could not be found + // CHECK-SUCCESS: KLEE: function-alias: replaced @twoints with @twointsmul // CHECK-REGEX-NO-MATCH: KLEE: ERROR: function-alias: no (replacable) match for 'xxx.*' found -- cgit 1.4.1