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

When conjuring symbols to recover path-sensitivity, don't conjure symbols that...

When conjuring symbols to recover path-sensitivity, don't conjure symbols that represent an entire struct.  We need to implement struct temporaries as an actual "region", and then bind symbols to the FieldRegion of those temporaries.

llvm-svn: 57739
parent b3517472
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