Searched defs:LeftVal (Results 1 – 3 of 3) sorted by relevance
375 match(Condition, m_Or(m_Value(LeftVal), m_Value(RightVal)))) { in countToEliminateCompares() local
2298 SVal LeftVal = state->getSVal(Left.Expression, LCtx); evalStrcmpCommon() local
220 static bool hasVisibleUpdate(const ExplodedNode *LeftNode, SVal LeftVal, in hasVisibleUpdate() argument