Home | History | Annotate | Download | only in Checkers

Lines Matching refs:DefinedSVal

757   DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
758       .castAs<DefinedSVal>();