Lines Matching refs:UndefinedVal

842         State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);  in checkPostStmt()
851           State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);  in checkPostStmt()
861         State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);  in checkPostStmt()
865       State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);  in checkPostStmt()
888       State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,  in checkPostStmt()
898         State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,  in checkPostStmt()
903         State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,  in checkPostStmt()
928       State = MallocMemAux(C, CE, CE->getArg(1), UndefinedVal(), State);  in checkPostStmt()
934       SVal Init = UndefinedVal();  in checkPostStmt()
1227     return MallocMemAux(C, CE, CE->getArg(I->getASTIndex()), UndefinedVal(),  in MallocMemReturnsAttr()
1230   return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), State);  in MallocMemReturnsAttr()
2171                                                UndefinedVal(), StatePtrIsNull);  in ReallocMemAux()