Comments (7)
Well, I can't guess what happened given the information you posted. Do a ninja tv/tv.so
and make sure it gives no errors. Then check the file exists and has the right permissions. I can't think of anything else.
from alive2.
@singhsanjana you might run ninja -v
and send us the output, a configure line like you used should work
from alive2.
Hi @regehr
The steps listed above had resulted in:
[46/46] Linking CXX executable alive
However, when I tried ninja again it resulted in errors listed below. Interestingly, another attempt today also resulted in [46/46] Linking CXX executable alive
but all other attempts resulted in the errors listed below.
Also the gcc version on my system is 11.4.0, in case that's relevant.
[14/28] Building CXX object CMakeFiles/llvm_util.dir/llvm_util/utils.cpp.o
FAILED: CMakeFiles/llvm_util.dir/llvm_util/utils.cpp.o
/usr/bin/clang++ -DNO_REDIS_SUPPORT -I/user/singhs/alive2 -I/user/singhs/alive2/build -I/user/singhs/llvm-project/llvm/include -I/user/singhs/llvm-project/build/include -Wall -Werror -fPIC -fstrict-enums -O3 -O3 -D_GNU_SOURCE -D_DEBUG -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -std=c++20 -MD -MT CMakeFiles/llvm_util.dir/llvm_util/utils.cpp.o -MF CMakeFiles/llvm_util.dir/llvm_util/utils.cpp.o.d -o CMakeFiles/llvm_util.dir/llvm_util/utils.cpp.o -c /user/singhs/alive2/llvm_util/utils.cpp
/user/singhs/alive2/llvm_util/utils.cpp:168:16: error: member reference base type 'uint64_t' (aka 'unsigned long') is not a structure or union
if (ofs.isScalable() || sz.isScalable())
~~~^~~~~~~~~~~
/user/singhs/alive2/llvm_util/utils.cpp:181:21: error: member reference base type 'llvm::LinearPolySize<llvm::TypeSize>::ScalarTy' (aka 'unsigned long') is not a structure or union
if (ofs_next.isScalable())
~~~~~~~~^~~~~~~~~~~
/user/singhs/alive2/llvm_util/utils.cpp:351:22: error: no member named 'value_or' in 'llvm::MaybeAlign'
fn->getAlign().value_or(llvm::Align(8)).value(), true, true);
~~~~~~~~~~~~~~ ^
3 errors generated.
[16/28] Building CXX object CMakeFiles/llvm_util.dir/llvm_util/llvm2alive.cpp.o
FAILED: CMakeFiles/llvm_util.dir/llvm_util/llvm2alive.cpp.o
/usr/bin/clang++ -DNO_REDIS_SUPPORT -I/user/singhs/alive2 -I/user/singhs/alive2/build -I/user/singhs/llvm-project/llvm/include -I/user/singhs/llvm-project/build/include -Wall -Werror -fPIC -fstrict-enums -O3 -O3 -D_GNU_SOURCE -D_DEBUG -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -std=c++20 -MD -MT CMakeFiles/llvm_util.dir/llvm_util/llvm2alive.cpp.o -MF CMakeFiles/llvm_util.dir/llvm_util/llvm2alive.cpp.o.d -o CMakeFiles/llvm_util.dir/llvm_util/llvm2alive.cpp.o -c /user/singhs/alive2/llvm_util/llvm2alive.cpp
/user/singhs/alive2/llvm_util/llvm2alive.cpp:18:10: fatal error: 'llvm/Support/ModRef.h' file not found
#include "llvm/Support/ModRef.h"
^~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
[17/28] Building CXX object CMakeFiles/alive-exec.dir/tools/alive-exec.cpp.o
FAILED: CMakeFiles/alive-exec.dir/tools/alive-exec.cpp.o
/usr/bin/clang++ -DNO_REDIS_SUPPORT -I/user/singhs/alive2 -I/user/singhs/alive2/build -I/user/singhs/llvm-project/llvm/include -I/user/singhs/llvm-project/build/include -Wall -Werror -fPIC -fstrict-enums -O3 -O3 -D_GNU_SOURCE -D_DEBUG -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -std=c++20 -MD -MT CMakeFiles/alive-exec.dir/tools/alive-exec.cpp.o -MF CMakeFiles/alive-exec.dir/tools/alive-exec.cpp.o.d -o CMakeFiles/alive-exec.dir/tools/alive-exec.cpp.o -c /user/singhs/alive2/tools/alive-exec.cpp
/user/singhs/alive2/tools/alive-exec.cpp:21:10: fatal error: 'llvm/TargetParser/Triple.h' file not found
#include "llvm/TargetParser/Triple.h"
^~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
[19/28] Building CXX object CMakeFiles/quick-fuzz.dir/tools/quick-fuzz.cpp.o
FAILED: CMakeFiles/quick-fuzz.dir/tools/quick-fuzz.cpp.o
/usr/bin/clang++ -DNO_REDIS_SUPPORT -I/user/singhs/alive2 -I/user/singhs/alive2/build -I/user/singhs/llvm-project/llvm/include -I/user/singhs/llvm-project/build/include -Wall -Werror -fPIC -fstrict-enums -O3 -O3 -D_GNU_SOURCE -D_DEBUG -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -std=c++20 -MD -MT CMakeFiles/quick-fuzz.dir/tools/quick-fuzz.cpp.o -MF CMakeFiles/quick-fuzz.dir/tools/quick-fuzz.cpp.o.d -o CMakeFiles/quick-fuzz.dir/tools/quick-fuzz.cpp.o -c /user/singhs/alive2/tools/quick-fuzz.cpp
/user/singhs/alive2/tools/quick-fuzz.cpp:27:10: fatal error: 'llvm/TargetParser/Triple.h' file not found
#include "llvm/TargetParser/Triple.h"
^~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
[20/28] Building CXX object CMakeFiles/alive-tv.dir/tools/alive-tv.cpp.o
FAILED: CMakeFiles/alive-tv.dir/tools/alive-tv.cpp.o
/usr/bin/clang++ -DNO_REDIS_SUPPORT -I/user/singhs/alive2 -I/user/singhs/alive2/build -I/user/singhs/llvm-project/llvm/include -I/user/singhs/llvm-project/build/include -Wall -Werror -fPIC -fstrict-enums -O3 -O3 -D_GNU_SOURCE -D_DEBUG -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -std=c++20 -MD -MT CMakeFiles/alive-tv.dir/tools/alive-tv.cpp.o -MF CMakeFiles/alive-tv.dir/tools/alive-tv.cpp.o.d -o CMakeFiles/alive-tv.dir/tools/alive-tv.cpp.o -c /user/singhs/alive2/tools/alive-tv.cpp
/user/singhs/alive2/tools/alive-tv.cpp:24:10: fatal error: 'llvm/TargetParser/Triple.h' file not found
#include "llvm/TargetParser/Triple.h"
^~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
[21/28] Building CXX object tv/CMakeFiles/tv.dir/tv.cpp.o
FAILED: tv/CMakeFiles/tv.dir/tv.cpp.o
/usr/bin/clang++ -DNO_REDIS_SUPPORT -I/user/singhs/alive2 -I/user/singhs/alive2/build -I/user/singhs/llvm-project/llvm/include -I/user/singhs/llvm-project/build/include -Wall -Werror -fPIC -fstrict-enums -O3 -O3 -fPIC -D_GNU_SOURCE -D_DEBUG -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -std=c++20 -MD -MT tv/CMakeFiles/tv.dir/tv.cpp.o -MF tv/CMakeFiles/tv.dir/tv.cpp.o.d -o tv/CMakeFiles/tv.dir/tv.cpp.o -c /user/singhs/alive2/tv/tv.cpp
/user/singhs/alive2/tv/tv.cpp:21:10: fatal error: 'llvm/TargetParser/Triple.h' file not found
#include "llvm/TargetParser/Triple.h"
^~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
[22/28] Building CXX object CMakeFiles/alive.dir/tools/alive_parser.cpp.o
ninja: build stopped: subcommand failed.
from alive2.
You're compiling against an old version of LLVM.
from alive2.
I am using the LLVM built at $LLVM2_BUILD and version of that is 14.0.6
$LLVM2_BUILD/bin/clang --version
clang version 14.0.6
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /user/singhs/llvm-project/build/bin
from alive2.
Yes, that's super old. We only support the latest git version.
from alive2.
I can see that LLVM 18.1.2 as the latest release. I will switch to that.
Thank you very much for your prompt support.
from alive2.
Related Issues (20)
- missed alarm? HOT 2
- add support for range attribute in args and ret val
- Add support for poison-generating flags `nuw`/`nsw` to `trunc`
- False positive and different refined value of `zext undef` HOT 3
- Errors about unsupported instruction `invoke` HOT 4
- Load widening for higher aligned pointer incorrectly reported as undefined HOT 2
- byval arg & memory(argmem) don't work together
- Consider the new 2-phase memory model HOT 2
- Add support for pointers larger than 64 bits HOT 5
- Add support for gep's nuw nusw attributes HOT 1
- bug relating to too-big store? HOT 1
- Add a flag to disable counterexamples with type punning through memory HOT 1
- Issue that cannot see SMT query. HOT 12
- False negative with the sign bit of nans HOT 1
- Incorrect handling of poison values HOT 1
- Incorrect handling of undef values HOT 1
- LLVM version HOT 1
- Is this a false positive? HOT 1
- `ERROR: program doesn't type check!` is raised when the intrinsic call has both noundef and range metadata.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from alive2.