Lines Matching refs:checkNonNull
236 ProgramStateRef checkNonNull(CheckerContext &C, ProgramStateRef State,
294 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C, in checkNonNull() function in CStringChecker
392 State = checkNonNull(C, State, Buffer, BufVal); in CheckBufferAccess()
1159 state = checkNonNull(C, state, Dest, destVal); in evalCopyCommon()
1168 state = checkNonNull(C, state, Source, srcVal); in evalCopyCommon()
1392 state = checkNonNull(C, state, Arg, ArgVal); in evalstrLengthCommon()
1552 state = checkNonNull(C, state, Dst, DstVal); in evalStrcpyCommon()
1559 state = checkNonNull(C, state, srcExpr, srcVal); in evalStrcpyCommon()
1950 state = checkNonNull(C, state, Left, LeftVal); in evalStrcmpCommon()
1957 state = checkNonNull(C, state, Right, RightVal); in evalStrcmpCommon()
2087 State = checkNonNull(C, State, SearchStrPtr, SearchStrVal); in evalStrsep()
2094 State = checkNonNull(C, State, DelimStr, DelimStrVal); in evalStrsep()
2198 State = checkNonNull(C, NonZeroSize, Buffer, BufferPtrVal); in evalMemset()
2246 State = checkNonNull(C, StateNonZeroSize, Buffer, MemVal); in evalBzero()