diff options
author | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 15:07:29 -0700 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 15:07:29 -0700 |
commit | 0aa44d4f61032836744d7a20f219af4463e99a23 (patch) | |
tree | d0ea1277443fec619fee688796a1a4fe38cddac3 /test/Feature/SourceMapping.c | |
parent | 8ecd31572aae60ed50f487bccaad6abb7b346528 (diff) | |
download | klee-0aa44d4f61032836744d7a20f219af4463e99a23.tar.gz |
[Core] Fix a bug in how source file names were written in .istats files.
- KCachegrind appears to expect the first function name to be preceeded by the name of the file it appears in. Otherwise, it will end up creating two different records for the function, one of which has no file name and won't have any statistics.
Diffstat (limited to 'test/Feature/SourceMapping.c')
-rw-r--r-- | test/Feature/SourceMapping.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/Feature/SourceMapping.c b/test/Feature/SourceMapping.c index 0462ba0b..9835d701 100644 --- a/test/Feature/SourceMapping.c +++ b/test/Feature/SourceMapping.c @@ -9,13 +9,14 @@ // CHECK: positions: instr line // CHECK: ob={{.*}}/SourceMapping.c{{.*}}/assembly.ll -// Assuming the compiler doesn't reorder things, f0 should be first. -// CHECK: fn=f0 +// Assuming the compiler doesn't reorder things, f0 should be first, and it +// should immediately follow the first file name marker. +// CHECK: fl={{.*}}/SourceMapping.c +// CHECK-NEXT: fn=f0 // Ensure we have a known position for the first instruction (instr and line // should be non-zero). -// CHECK-NEXT: fl={{.*}}/SourceMapping.c // CHECK-NEXT: {{[1-9][0-9]*}} {{[1-9][0-9]*}} @@ -36,7 +37,6 @@ - // KEEP THIS AS LINE 40 int f0(int a, int b) { |