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/Runtime/POSIX/FreeArgv.c | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'test/Runtime/POSIX/FreeArgv.c') diff --git a/test/Runtime/POSIX/FreeArgv.c b/test/Runtime/POSIX/FreeArgv.c index 8f812b5d..7a5445a3 100644 --- a/test/Runtime/POSIX/FreeArgv.c +++ b/test/Runtime/POSIX/FreeArgv.c @@ -6,18 +6,17 @@ // RUN: test -f %t.klee-out/test000003.free.err int main(int argc, char **argv) { - // FIXME: Use FileCheck's CHECK-DAG to check source locations - switch(klee_range(0, 3, "range")) { + switch (klee_range(0, 3, "range")) { case 0: - // CHECK: free of global + // CHECK-DAG: [[@LINE+1]]: free of global free(argv); break; case 1: - // CHECK: free of global + // CHECK-DAG: [[@LINE+1]]: free of global free(argv[0]); break; case 2: - // CHECK: free of global + // CHECK-DAG: [[@LINE+1]]: free of global free(argv[1]); break; } -- cgit 1.4.1