Skip to content
Commit 892427e2 authored by Anna Zaks's avatar Anna Zaks
Browse files

[analyzer] In UndefBranchChecker, use a node generator which does not create... 

[analyzer] In UndefBranchChecker, use a node generator which does not create an edge/branching. (ExprEngine should be in charge of generating edges. The checkers should examine the condition and generate PostCondition node if needed.)

llvm-svn: 141034
parent fdce6dc1
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment