Lines Matching refs:Symbolic
873 /// getSymbolicRegion - Retrieve or create a "symbolic" memory region.
1068 // FIXME: generalize to symbolic offsets.
1173 // If our base region is symbolic, we don't know what type it really is.
1187 // Base layers on symbolic regions may not be type-correct.
1188 // Double-check the inheritance here, and revert to a symbolic offset
1200 // symbolic offset somewhere in the chain.
1230 // symbolic offset somewhere in the chain.
1251 // treat each field as a symbolic offset so they aren't stored on top
1258 // symbolic offset somewhere in the chain.
1279 return RegionOffset(SymbolicOffsetBase, RegionOffset::Symbolic);