Home | History | Annotate | Download | only in Checkers

Lines Matching refs:UndefinedVal

684         State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
691 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
699 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
703 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
724 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
727 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
851 return MallocMemAux(C, CE, CE->getArg(*I), UndefinedVal(), C.getState());
853 UndefinedVal(), C.getState());
1621 UndefinedVal(), StatePtrIsNull);