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

Augment RegionStore::BindStruct() to bind symbolicated struct values. This... 

Augment RegionStore::BindStruct() to bind symbolicated struct values.  This fixes a false path issue reported in <rdar://problem/8243408> and also spurs another cause where the idempotent operations checker fires.

llvm-svn: 109710
parent 7f904e8a
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