MultiValueLattice

50 references to MultiValueLattice

illink (50)

Linker.Dataflow\HandleCallAction.cs (2)

111AddReturnValue(MultiValueLattice.Top); 236maybeMethodReturnValue = (maybeMethodReturnValue is null) ? value : MultiValueLattice.Meet((MultiValue)maybeMethodReturnValue, value);

src\runtime\src\tools\illink\src\ILLink.Shared\TrimAnalysis\HandleCallAction.cs (48)

45? MultiValueLattice.Top 128returnValue = MultiValueLattice.Top; 159returnValue = MultiValueLattice.Top; 183AddReturnValue(MultiValueLattice.Top); 190returnValue = MultiValueLattice.Top; 215returnValue = MultiValueLattice.Top; 234returnValue = MultiValueLattice.Top; 265returnValue = MultiValueLattice.Top; 277AddReturnValue(MultiValueLattice.Top); 313returnValue = MultiValueLattice.Top; 346returnValue = MultiValueLattice.Top; 363AddReturnValue(MultiValueLattice.Top); 381returnValue = MultiValueLattice.Top; 485returnValue = MultiValueLattice.Top; 552returnValue = MultiValueLattice.Top; 615returnValue = MultiValueLattice.Top; 637AddReturnValue(MultiValueLattice.Top); ; // Initialize return value (so that it's not autofilled if there are no matching methods) 644AddReturnValue(MultiValueLattice.Top); 657AddReturnValue(MultiValueLattice.Top); 668AddReturnValue(MultiValueLattice.Top); 696returnValue = MultiValueLattice.Top; 725AddReturnValue(MultiValueLattice.Top); 734AddReturnValue(MultiValueLattice.Top); 750AddReturnValue(MultiValueLattice.Top); 785returnValue = MultiValueLattice.Top; 818AddReturnValue(MultiValueLattice.Top); // Initialize return value (so that it's not autofilled if there are no matching methods) 832AddReturnValue(MultiValueLattice.Top); 844AddReturnValue(MultiValueLattice.Top); 886returnValue = MultiValueLattice.Top; 928returnValue = MultiValueLattice.Top; 1032returnValue = MultiValueLattice.Top; 1046: MultiValueLattice.Top, // This returns null at runtime, so return empty value 1070returnValue = MultiValueLattice.Top; 1078returnValue = MultiValueLattice.Top; // This effectively disables analysis of anything which uses the return value 1089AddReturnValue(MultiValueLattice.Top); 1099AddReturnValue(MultiValueLattice.Top); 1110AddReturnValue(MultiValueLattice.Top); 1125returnValue = MultiValueLattice.Top; 1155AddReturnValue(MultiValueLattice.Top); 1196AddReturnValue(MultiValueLattice.Top); 1218returnValue = MultiValueLattice.Top; 1289AddReturnValue(MultiValueLattice.Top); 1311returnValue = MultiValueLattice.Top; 1370returnValue = MultiValueLattice.Top; 1557returnValue = MultiValueLattice.Top; 1581AddReturnValue(MultiValueLattice.Top); 1591AddReturnValue(MultiValueLattice.Top); 1639returnValue = (returnValue == null) ? value : MultiValueLattice.Meet(returnValue.Value, value);