Skip to content
Commit d8138013 authored by Ted Kremenek's avatar Ted Kremenek
Browse files

Fix tiny error in CFG construction for BinaryConditionalOperators, making sure... 

Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors.  Also teach Environment::getSVal() about OpaqueValueExprs.

This fixes a crash reported in PR9287, and also fixes a false positive involving the value of such ternary
expressions not properly getting propagated.

llvm-svn: 126362
parent f8da8c7f
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