Home | History | Annotate | Download | only in Checkers

Lines Matching full:checknonnull

149   ProgramStateRef checkNonNull(CheckerContext &C,
213 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,
350 state = checkNonNull(C, state, FirstBuf, BufVal);
388 state = checkNonNull(C, state, SecondBuf, BufVal);
903 state = checkNonNull(C, state, Dest, destVal);
912 state = checkNonNull(C, state, Source, srcVal);
1140 state = checkNonNull(C, state, Arg, ArgVal);
1289 state = checkNonNull(C, state, Dst, DstVal);
1296 state = checkNonNull(C, state, srcExpr, srcVal);
1641 state = checkNonNull(C, state, s1, s1Val);
1648 state = checkNonNull(C, state, s2, s2Val);