diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-10-13 13:23:04 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-10-13 16:39:54 +0100 |
| commit | 6e6ca4598bf28944b4c731e131bd223ca0c44cd6 (patch) | |
| tree | 2b308d46612e3b6114506a6e9ae67ee41b12c117 | |
| parent | 57d81af893ed60abb6b1772532ce73ac5e489d4b (diff) | |
| download | klee-6e6ca4598bf28944b4c731e131bd223ca0c44cd6.tar.gz | |
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.
| -rw-r--r-- | test/Feature/FunctionAlias.c | 2 |
1 files changed, 2 insertions, 0 deletions
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 |