Searched refs:conjureOffsetSymbolOnLocation (Results 1 – 1 of 1) sorted by relevance
29 static SVal conjureOffsetSymbolOnLocation(SVal Symbol, SVal Other, in conjureOffsetSymbolOnLocation() function87 RightV = conjureOffsetSymbolOnLocation( in VisitBinaryOperator()90 LeftV = conjureOffsetSymbolOnLocation(LeftV, RightV, getCFGElementRef(), in VisitBinaryOperator()