diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-06-05 10:38:17 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-06-05 10:38:17 +0100 |
| commit | 9481fd85532187ebcdff0e9d7ab8efaaa05a4149 (patch) | |
| tree | e6907ea2ec97fca0848c1375b92ad98b5418e657 /test/regression/2017-03-23-early-exit-log-stats.c | |
| parent | e3b88631ef58ad406ac069bd3a4ba16fb4aa07cc (diff) | |
| download | klee-9481fd85532187ebcdff0e9d7ab8efaaa05a4149.tar.gz | |
Fix test failure on systems with libstdc++ corresponding to gcc7.
This fixes #664.
As reported by @jirislaby the `test/Feature/LongDouble.cpp` test
fails to compile with Clang 3.4 due to new changes the libstdc++
headers. This ends up giving errors like
```
In file included from /home/abuild/rpmbuild/BUILD/klee-1.3.0+20170409/test/Feature/LongDouble.cpp:12:
In file included from /usr/bin/../lib64/gcc/x86_64-suse-linux/7/../../../../include/c++/7/cstdlib:77:
/usr/bin/../lib64/gcc/x86_64-suse-linux/7/../../../../include/c++/7/bits/std_abs.h:101:3: error: unknown type name '__float128'
__float128
^
/usr/bin/../lib64/gcc/x86_64-suse-linux/7/../../../../include/c++/7/bits/std_abs.h:102:7: error: unknown type name '__float128'
abs(__float128 __x)
^
2 errors generated.
```
Clang 4.0 seems fine with this source file so the problem has already
been addressed upstream so we don't need to file a bug. We just need
to move to a newer LLVM version to fix this properly!
To work around this the test has been made into a C program rather than
a C++ program to avoid including the C++ headers. The program wasn't
using any important C++ features anyway so this seems like a sensible change.
Diffstat (limited to 'test/regression/2017-03-23-early-exit-log-stats.c')
0 files changed, 0 insertions, 0 deletions