Searched defs:StNonNull (Results 1 – 3 of 3) sorted by relevance
105 ProgramStateRef StNonNull, StNull; in checkReference() local
243 ProgramStateRef StNonNull, StNull; in checkPreStmt() local298 ProgramStateRef StNonNull, StNull; in checkPreCall() local
241 ProgramStateRef StNonNull, StNull; in checkBind() local