Home | History | Annotate | Download | only in Checkers

Lines Matching refs:DefinedSVal

650   DefinedSVal MaskedFlags = MaskedFlagsUC.castAs<DefinedSVal>();
868   DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
869       .castAs<DefinedSVal>();