From cdce3e8385927bf2cf2a21902d6563ecea37262c Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Wed, 5 Sep 2018 09:55:48 +0100
Subject: 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.
---
test/Feature/ubsan_signed_overflow.c | 9 ++++-----
1 file changed, 4 insertions(+), 5 deletions(-)
(limited to 'test/Feature/ubsan_signed_overflow.c')
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;
--
cgit 1.4.1