diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-09-05 09:55:48 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-06 13:29:31 +0100 |
| commit | cdce3e8385927bf2cf2a21902d6563ecea37262c (patch) | |
| tree | 3b3daf8731b30acddb7783a28e8eb97637dae291 /test/Feature/ubsan_signed_overflow.c | |
| parent | d2285e097656936c866ae6518e0a496cf4499517 (diff) | |
| download | klee-cdce3e8385927bf2cf2a21902d6563ecea37262c.tar.gz | |
Use FileCheck and LINE instead of grep if possible
As we do not support LLVM 2.9 anymore, we can use FileCheck LINE instead of hard coding line numbers.
Diffstat (limited to 'test/Feature/ubsan_signed_overflow.c')
| -rw-r--r-- | test/Feature/ubsan_signed_overflow.c | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/test/Feature/ubsan_signed_overflow.c b/test/Feature/ubsan_signed_overflow.c index c89065eb..8d01f7d3 100644 --- a/test/Feature/ubsan_signed_overflow.c +++ b/test/Feature/ubsan_signed_overflow.c @@ -4,8 +4,7 @@ #include "klee/klee.h" -int main() -{ +int main() { signed int x; signed int y; volatile signed int result; @@ -13,13 +12,13 @@ int main() klee_make_symbolic(&x, sizeof(x), "x"); klee_make_symbolic(&y, sizeof(y), "y"); - // CHECK: ubsan_signed_overflow.c:17: overflow on addition + // CHECK: ubsan_signed_overflow.c:[[@LINE+1]]: overflow on addition result = x + y; - // CHECK: ubsan_signed_overflow.c:20: overflow on subtraction + // CHECK: ubsan_signed_overflow.c:[[@LINE+1]]: overflow on subtraction result = x - y; - // CHECK: ubsan_signed_overflow.c:23: overflow on multiplication + // CHECK: ubsan_signed_overflow.c:[[@LINE+1]]: overflow on multiplication result = x * y; return 0; |