Displaying 1 result from an estimated 1 matches for "dfspass".
Did you mean:
2fspass
2013 Aug 16
0
[LLVMdev] NULL successors exposed via GraphTraits
Clang's CFG construction introduces NULL successors for infeasible paths.
These are exposed via GraphTraits iterators, which is currently unhandled
in LLVM code, e.g. in llvm::DFSPass(...)
To reproduce:
$ echo "int main() { return 0 ? 0 : 0; }" | clang -cc1 -analyze
-analyzer-checker=debug.DumpDominators -x c -
segfaults in llvm::DFSPass()
The question is, should this be fixed in LLVM or Clang?
I'm attaching a patch for llvm::DFSPass(), but I suppose there ar...