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

Bug fix: Not all ConstraintManagers always return a null state when setting 

isFeasible to false. This is something we may wish to do further validation on.

llvm-svn: 71134
parent baf3fee8
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