Home | History | Annotate | Download | only in Checkers

Lines Matching refs:CmpV

1082         SVal CmpV = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());
1083         state = state->BindExpr(CE, LCtx, CmpV);