MultiValueLattice

46 references to MultiValueLattice

illink (46)

Linker.Dataflow\HandleCallAction.cs (2)

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

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

45? MultiValueLattice.Top 128returnValue = MultiValueLattice.Top; 159returnValue = MultiValueLattice.Top; 183AddReturnValue(MultiValueLattice.Top); 193returnValue = MultiValueLattice.Top; 212returnValue = MultiValueLattice.Top; 243returnValue = MultiValueLattice.Top; 255AddReturnValue(MultiValueLattice.Top); 291returnValue = MultiValueLattice.Top; 324returnValue = MultiValueLattice.Top; 341AddReturnValue(MultiValueLattice.Top); 359returnValue = MultiValueLattice.Top; 463returnValue = MultiValueLattice.Top; 530returnValue = MultiValueLattice.Top; 593returnValue = MultiValueLattice.Top; 615AddReturnValue(MultiValueLattice.Top); ; // Initialize return value (so that it's not autofilled if there are no matching methods) 622AddReturnValue(MultiValueLattice.Top); 635AddReturnValue(MultiValueLattice.Top); 646AddReturnValue(MultiValueLattice.Top); 674returnValue = MultiValueLattice.Top; 703AddReturnValue(MultiValueLattice.Top); 712AddReturnValue(MultiValueLattice.Top); 728AddReturnValue(MultiValueLattice.Top); 763returnValue = MultiValueLattice.Top; 796AddReturnValue(MultiValueLattice.Top); // Initialize return value (so that it's not autofilled if there are no matching methods) 810AddReturnValue(MultiValueLattice.Top); 822AddReturnValue(MultiValueLattice.Top); 864returnValue = MultiValueLattice.Top; 906returnValue = MultiValueLattice.Top; 1010returnValue = MultiValueLattice.Top; 1024: MultiValueLattice.Top, // This returns null at runtime, so return empty value 1047returnValue = MultiValueLattice.Top; 1055returnValue = MultiValueLattice.Top; // This effectively disables analysis of anything which uses the return value 1066AddReturnValue(MultiValueLattice.Top); 1076AddReturnValue(MultiValueLattice.Top); 1087AddReturnValue(MultiValueLattice.Top); 1102returnValue = MultiValueLattice.Top; 1132AddReturnValue(MultiValueLattice.Top); 1173AddReturnValue(MultiValueLattice.Top); 1195returnValue = MultiValueLattice.Top; 1266AddReturnValue(MultiValueLattice.Top); 1288returnValue = MultiValueLattice.Top; 1347returnValue = MultiValueLattice.Top; 1553returnValue = (returnValue == null) ? value : MultiValueLattice.Meet(returnValue.Value, value);