jo285317

There is no stack trace, this is the complete output: ``` nod@xps13:~/linux-5.4.4$ /home/nod/apps/SVF/Release-build/bin/wpa --ander --dump-callgraph vmlinux.bc wpa: /home/nod/apps/SVF/include/MemoryModel/MemModel.h:571: SymID SymbolTableInfo::getValSym(const Value*): Assertion `iter!=valSymMap.end() &&"value sym not found"' failed. Aborted (core...

Breakpoint 1, SymbolTableInfo::getValSym (this=0x55557f0a8910, val=0x555559084218) at /home/nod/apps/SVF/include/MemoryModel/MemModel.h:571 571 assert(iter!=valSymMap.end() &&"value sym not found"); (gdb) backtrace #0 SymbolTableInfo::getValSym (this=0x55557f0a8910, val=0x555559084218) at /home/nod/apps/SVF/include/MemoryModel/MemModel.h:571 #1 0x000055555563323b in PAG::getValueNode (this=0x555582c3d400, V=0x555559084218) at /home/nod/apps/SVF/include/MemoryModel/PAG.h:402 #2...

Is this what you need? (gdb) print *val $3 = {VTy = 0x5555563e17e0, UseList = 0x55555bbbdb20, SubclassID = 3 '\003', HasValueHandle = 0 '\000', SubclassOptionalData = 0 '\000', SubclassData =...

tried to print val->dump() from gdb. i get: Cannot evaluate function -- may be inlined