Searched refs:elementAddressType (Results 1 – 2 of 2) sorted by relevance
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.HeapAnalysis/ |
| H A D | AnalysisDecoder.cs | 1160 TypeNode elementAddressType = MetaDataProvider.ManagedPointer (t); in LoadElementEffect()
1161 …a.ElementAddress (data.Value (array), data.Value (index), elementAddressType), elementAddressType); in LoadElementEffect()
1242 TypeNode elementAddressType = MetaDataProvider.ManagedPointer (type); in StoreElementEffect()
1246 …(data.ElementAddress (arrayValue, indexValue, elementAddressType), data.Address (value), elementAd… in StoreElementEffect()
|
| H A D | Domain.cs | 1144 public SymValue ElementAddress (SymValue array, SymValue index, TypeNode elementAddressType) in ElementAddress() argument
1150 SetType (sv, elementAddressType); in ElementAddress()
|