phasar
phasar copied to clipboard
PointsToInfo.cpp:64:3: error: implicit instantiation of undefined template 'std::vector<const llvm::Value *>'
- [x] I have searched open and closed issues for duplicates
- [x] I made sure that I am not using an old project version (DO: pull PhASAR, update git submodules, rebuild the project and check if the bug is still there)
Bug description
Build fails because lib/Pointer/PointsToInfo.cpp doesn't have #include <vector>:
/wrkdirs/usr/ports/devel/phasar/work/phasar-2403/lib/Pointer/PointsToInfo.cpp:64:3: error: implicit instantiation of undefined template 'std::vector<const llvm::Value *>'
getInterestingPointersAtImpl(ByConstRef<n_t> /*AtInstruction*/) const {
^
/usr/include/c++/v1/iosfwd:260:28: note: template is declared here
class _LIBCPP_TEMPLATE_VIS vector;
^
Context (Environment)
- phasar: 2403
Operating System:
- [ ] Linux
- [ ] Windows
- [ ] macOS
- [x] FreeBSD
Build Type:
- [ ] cmake
- [ ] bootstrap.sh
- [ ] custom build
Possible solution
We are happy to discuss possible solutions to this problem, especially if it originates from a design flaw.
Example files
Files:
Hi @yurivict, thanks for pointing this out. It indeed seems to be an issue, although I could not reproduce it on my system. Can you check, whether #719 fixes it?
Yes, this patch fixes it.