diff options
author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2017-07-22 01:28:40 +0200 |
---|---|---|
committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2017-07-23 12:18:35 +0200 |
commit | afae176824d8fd1733e5e302a62e6bd09a86aff2 (patch) | |
tree | 417ff3c15fd0499d8e61a1f180c75beb5cde6d4b /test/regression | |
parent | 37e92d0c802524c19a9a84164253639aac47fee3 (diff) | |
download | klee-afae176824d8fd1733e5e302a62e6bd09a86aff2.tar.gz |
Updated test cases to reflect removal of LLVM 2.9
Diffstat (limited to 'test/regression')
-rw-r--r-- | test/regression/2016-11-24-bitcast-weak-alias.c | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/test/regression/2016-11-24-bitcast-weak-alias.c b/test/regression/2016-11-24-bitcast-weak-alias.c index 3e4ebe64..d35f6fa7 100644 --- a/test/regression/2016-11-24-bitcast-weak-alias.c +++ b/test/regression/2016-11-24-bitcast-weak-alias.c @@ -26,18 +26,11 @@ int alias_function(struct v1 *, struct v1 *, int) int main(int argc, char** argv) { struct v2 local = { .e= 0, .f=0 }; - int choice = (argc == 1); int number = 0; - // FIXME: Drop the guard when llvm 2.9 is dropped. - // Prevent actually making the call at runtime due to llvm-gcc - // injecting an abort if the call is made. The call is guarded - // in such a way that the compiler cannot remove the call. - if (choice) { - // Call via a bitcasted alias. - number = ((int (*)(struct v2 *, struct v2 *, int))alias_function)( - &local, &local, 0); - } + // Call via a bitcasted alias. + number = ((int (*)(struct v2 *, struct v2 *, int))alias_function)(&local, + &local, 0); return number % 255; } |