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.

1 files changed, 4 insertions, 7 deletions

diff --git a/test/regression/2014-07-04-unflushed-error-report.c b/test/regression/2014-07-04-unflushed-error-report.c
index 0518fb4d..0b98944a 100644
--- a/test/regression/2014-07-04-unflushed-error-report.c
+++ b/test/regression/2014-07-04-unflushed-error-report.c
@@ -6,20 +6,17 @@
 /* This test checks that the error file isn't empty and contains the
  * right content.
  */
-int main()
-{
-  unsigned int x=15;
+int main() {
+  unsigned int x = 15;
   unsigned int y;
   unsigned int z;
   volatile unsigned int result;
 
   /* Overshift if y>= sizeof(x) */
-  klee_make_symbolic(&y,sizeof(y),"shift_amount1");
+  klee_make_symbolic(&y, sizeof(y), "shift_amount1");
   // CHECK: Error: overshift error
   // CHECK-NEXT: 2014-07-04-unflushed-error-report.c
-  // FIXME: Need newer FileCheck for to do ``Line: [[@LINE+1]]``
-  // Just hardcode line number for now
-  // CHECK-NEXT: Line: 23
+  // CHECK-NEXT: Line: [[@LINE+1]]
   result = x << y;
 
   return 0;