diff options
author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-07-24 16:17:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-24 16:17:04 +0200 |
commit | 769bd87658d3445af6770cadb1fe50edea833d15 (patch) | |
tree | 685a818fd4a7336232168fde9b86eb229b23e730 /test/regression/2016-11-24-bitcast-weak-alias.c | |
parent | 9fb2f5666d5f8c7c2f335fc8408883a0cf958964 (diff) | |
parent | 72ea2c66dd4da5971914dce334138f2d5f8db19a (diff) | |
download | klee-769bd87658d3445af6770cadb1fe50edea833d15.tar.gz |
Merge pull request #713 from MartinNowack/remove_llvm_29_33
Remove support for LLVM < 3.4
Diffstat (limited to 'test/regression/2016-11-24-bitcast-weak-alias.c')
-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; } |