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

Allow 'Environment::getSVal()' to allow an optional way for checkers to do a...

Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without
resulting to lazy logic.  This is critical for the OSAtomicChecker that does a simulated load on any arbitrary expression.

llvm-svn: 130292
parent 938e4a89
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment