Searched defs:RightVal (Results 1 – 3 of 3) sorted by relevance
358 Value *LeftVal, *RightVal; in countToEliminateCompares() local
2051 SVal RightVal = state->getSVal(Right.Expression, LCtx); in evalStrcmpCommon() local
191 const ExplodedNode *RightNode, SVal RightVal) { in hasVisibleUpdate()