clang
9.0.0
|
Clang's CFG contains nullpointers for unreachable succesors, e.g. More...
Typedefs | |
using | ClangCFGDomChildrenGetter = SemiNCAInfo< clang::CFGDomTree::DominatorTreeBase >::ChildrenGetter< false > |
using | ClangCFGDomReverseChildrenGetter = SemiNCAInfo< clang::CFGDomTree::DominatorTreeBase >::ChildrenGetter< true > |
using | ClangCFGPostDomChildrenGetter = SemiNCAInfo< clang::CFGPostDomTree::DominatorTreeBase >::ChildrenGetter< false > |
using | ClangCFGPostDomReverseChildrenGetter = SemiNCAInfo< clang::CFGPostDomTree::DominatorTreeBase >::ChildrenGetter< true > |
Clang's CFG contains nullpointers for unreachable succesors, e.g.
when an if statement's condition is always false, it's 'then' branch is represented with a nullptr. This however will result in a nullpointer derefernece for dominator tree calculation.
To circumvent this, let's just crudely specialize the children getters used in LLVM's dominator tree builder.
using llvm::DomTreeBuilder::ClangCFGDomChildrenGetter = typedef SemiNCAInfo<clang::CFGDomTree::DominatorTreeBase>::ChildrenGetter< false> |
Definition at line 289 of file Dominators.h.
using llvm::DomTreeBuilder::ClangCFGDomReverseChildrenGetter = typedef SemiNCAInfo<clang::CFGDomTree::DominatorTreeBase>::ChildrenGetter< true> |
Definition at line 303 of file Dominators.h.
using llvm::DomTreeBuilder::ClangCFGPostDomChildrenGetter = typedef SemiNCAInfo<clang::CFGPostDomTree::DominatorTreeBase>::ChildrenGetter< false> |
Definition at line 318 of file Dominators.h.
using llvm::DomTreeBuilder::ClangCFGPostDomReverseChildrenGetter = typedef SemiNCAInfo<clang::CFGPostDomTree::DominatorTreeBase>::ChildrenGetter< true> |
Definition at line 333 of file Dominators.h.