Lines Matching full:symbolic
85 // the value pointed to by 'x' and thus creates different symbolic values
98 // NULL dereferences which are pruned out by RegionStore's symbolic reasoning
216 // <rdar://problem/7249340> - Allow binding of values to symbolic regions.
231 // array values and that we handle symbolic values that are casted
292 // had a bug that caused 'x' to lose its default symbolic value after the
449 // Exercise creating ElementRegion with symbolic super region.
1009 // PR 6854 - crash when casting symbolic memory address to a float
1010 // Handle casting from a symbolic region to a 'float'. This isn't
1019 // <rdar://problem/8032791> False positive due to symbolic store not find
1099 // symbolic index
1211 // <rdar://problem/8848957> - Handle loads and stores from a symbolic index
1331 // Test handling symbolic elements with field accesses.
