Searched refs:ReturnValueCondition (Results 1 – 1 of 1) sorted by relevance
1163 } ReturnValueCondition; in initFunctionSummaries() local1213 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()1222 ReturnValueCondition(WithinRange, SingleValue(0))}) in initFunctionSummaries()1229 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()1235 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()1240 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()1242 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()1247 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()1249 ReturnValueCondition(WithinRange, SingleValue(0))})); in initFunctionSummaries()1254 ReturnValueCondition(OutOfRange, SingleValue(0))}) in initFunctionSummaries()[all …]