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.
nowraiz · Oct 13, 2021 · 6e6ca45 · 6e6ca45
1 parent 57d81af
commit 6e6ca45
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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