Searched refs:SingleValue (Results 1 – 2 of 2) sorted by relevance
1180 auto SingleValue = [](RangeInt v) { in initFunctionSummaries() local1213 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()1222 ReturnValueCondition(WithinRange, SingleValue(0))}) in initFunctionSummaries()1229 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()1240 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()1247 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()1254 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()1261 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()1268 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()1276 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()[all …]
5422 Constant *SingleValue = nullptr; member in __anonc8ba5dbf1c11::SwitchLookupTable5446 SingleValue = Values.begin()->second; in SwitchLookupTable()5460 if (CaseRes != SingleValue) in SwitchLookupTable()5461 SingleValue = nullptr; in SwitchLookupTable()5474 if (DefaultValue != SingleValue) in SwitchLookupTable()5475 SingleValue = nullptr; in SwitchLookupTable()5480 if (SingleValue) { in SwitchLookupTable()5558 return SingleValue; in BuildLookup()