From cdce3e8385927bf2cf2a21902d6563ecea37262c Mon Sep 17 00:00:00 2001 From: Martin Nowack 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/KleeReportError.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'test/Feature/KleeReportError.c') diff --git a/test/Feature/KleeReportError.c b/test/Feature/KleeReportError.c index 4e21df18..96879a55 100644 --- a/test/Feature/KleeReportError.c +++ b/test/Feature/KleeReportError.c @@ -2,24 +2,24 @@ // RUN: rm -rf %t.klee-out // RUN: %klee --output-dir=%t.klee-out --emit-all-errors %t2.bc 2>&1 | FileCheck %s // RUN: ls %t.klee-out/ | grep .my.err | wc -l | grep 2 -#include #include +#include -int main(int argc, char** argv) { +int main(int argc, char **argv) { int x, y, *p = 0; - + klee_make_symbolic(&x, sizeof x, "x"); klee_make_symbolic(&y, sizeof y, "y"); if (x) fprintf(stderr, "x\n"); - else fprintf(stderr, "!x\n"); + else + fprintf(stderr, "!x\n"); if (y) { fprintf(stderr, "My error\n"); - // CHECK: KleeReportError.c:23: My error - // CHECK: KleeReportError.c:23: My error - // FIXME: Use FileCheck's relative line number syntax + // CHECK: KleeReportError.c:[[@LINE+2]]: My error + // CHECK: KleeReportError.c:[[@LINE+1]]: My error klee_report_error(__FILE__, __LINE__, "My error", "my.err"); } -- cgit 1.4.1