diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2024-02-09 22:34:03 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2024-02-12 12:00:03 +0000 |
| commit | c966cc6aada0e401fa0fa7caf2c359bfc5c4eb9a (patch) | |
| tree | 153f68f22bbcbdff40e62920b0f0355c70579318 /test | |
| parent | 9336cd28f6e58c2f9bc01ec3dbf3930688ad0287 (diff) | |
| download | klee-c966cc6aada0e401fa0fa7caf2c359bfc5c4eb9a.tar.gz | |
Fix brittleness in Feature/VarArgByVal test
Diffstat (limited to 'test')
| -rw-r--r-- | test/Feature/VarArgByVal.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Feature/VarArgByVal.c b/test/Feature/VarArgByVal.c index 7b979f61..3f60ea12 100644 --- a/test/Feature/VarArgByVal.c +++ b/test/Feature/VarArgByVal.c @@ -9,7 +9,7 @@ // // TODO: Make noundef unconditional when LLVM 14 is the oldest supported version. // CHECK: call void (ptr, i32, ...) @test1(ptr sret(%struct.foo) align 8 {{.*}}, i32 noundef -1, ptr noundef byval(%struct.foo) align 8 {{.*}}, ptr noundef byval(%struct.bar) align 8 {{.*}}) -// CHECK: call void (ptr, i32, i64, ...) @test2(ptr sret(%struct.foo) align 8 %tmp, i32 noundef {{.*}}, i64 noundef {{.*}}, i32 noundef {{.*}}, ptr noundef byval(%struct.foo) align 8 {{.*}}, i64 noundef {{.*}}, ptr noundef byval(%struct.bar) align 8 {{.*}}, ptr noundef byval(%struct.foo) align 8 {{.*}}, ptr noundef byval(%struct.bar) align 8 {{.*}}) +// CHECK: call void (ptr, i32, i64, ...) @test2(ptr sret(%struct.foo) align 8 {{.*}}, i32 noundef {{.*}}, i64 noundef {{.*}}, i32 noundef {{.*}}, ptr noundef byval(%struct.foo) align 8 {{.*}}, i64 noundef {{.*}}, ptr noundef byval(%struct.bar) align 8 {{.*}}, ptr noundef byval(%struct.foo) align 8 {{.*}}, ptr noundef byval(%struct.bar) align 8 {{.*}}) #include <stdarg.h> #include <assert.h> #include <stdio.h> |