Home | History | Annotate | Download | only in Core

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);