secure-software-engineering/phasar

PointsToInfo.cpp:64:3: error: implicit instantiation of undefined template 'std::vector<const llvm::Value *>'

yurivict opened this issue · 2 comments

yurivict commented
  • I have searched open and closed issues for duplicates
  • 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;
                           ^

log

Context (Environment)

  • phasar: 2403

Operating System:

  • Linux
  • Windows
  • macOS
  • 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:

fabianbs96 commented

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?

yurivict commented

Yes, this patch fixes it.