phasar icon indicating copy to clipboard operation
phasar copied to clipboard

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

Open yurivict opened this issue 1 year ago • 2 comments

  • [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;
                           ^

log

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:

yurivict avatar Apr 26 '24 06:04 yurivict

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?

fabianbs96 avatar Apr 26 '24 15:04 fabianbs96

Yes, this patch fixes it.

yurivict avatar Apr 26 '24 15:04 yurivict