diff options
Diffstat (limited to 'test/Feature/ConstExprWithOvershift.ll')
| -rw-r--r-- | test/Feature/ConstExprWithOvershift.ll | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Feature/ConstExprWithOvershift.ll b/test/Feature/ConstExprWithOvershift.ll index 7d4a1284..5f41a089 100644 --- a/test/Feature/ConstExprWithOvershift.ll +++ b/test/Feature/ConstExprWithOvershift.ll @@ -1,3 +1,5 @@ +; LLVM versions starting from 3.5 replace test code with "ret undef" +; see https://github.com/klee/klee/issues/268 ; REQUIRES: llvm-3.4 ; RUN: llvm-as %s -f -o %t.bc ; RUN: rm -rf %t.klee-out |