|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1056 if (C.wasInlined)
1059 const FunctionDecl *FD = C.getCalleeDecl(CE);
1063 ProgramStateRef State = C.getState();
1067 MemFunctionInfo.initIdentifierInfo(C.getASTContext());
1077 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1078 State = ProcessZeroAllocCheck(C, CE, 0, State);
1081 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1085 performKernelMalloc(CE, C, State);
1089 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1096 performKernelMalloc(CE, C, State);
1100 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1104 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1105 State = ProcessZeroAllocCheck(C, CE, 0, State);
1109 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ false, State);
1110 State = ProcessZeroAllocCheck(C, CE, 1, State);
1112 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ true, State);
1113 State = ProcessZeroAllocCheck(C, CE, 1, State);
1115 State = CallocMem(C, CE, State);
1116 State = ProcessZeroAllocCheck(C, CE, 0, State);
1117 State = ProcessZeroAllocCheck(C, CE, 1, State);
1121 if (suppressDeallocationsInSuspiciousContexts(CE, C))
1124 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
1129 State = MallocUpdateRefState(C, CE, State);
1131 State = MallocUpdateRefState(C, CE, State);
1136 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
1138 State = ProcessZeroAllocCheck(C, CE, 0, State);
1139 } else if (MemFunctionInfo.isStandardNewDelete(FD, C.getASTContext())) {
1146 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
1148 State = ProcessZeroAllocCheck(C, CE, 0, State);
1151 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
1153 State = ProcessZeroAllocCheck(C, CE, 0, State);
1157 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
1165 State = MallocMemAux(C, CE, UnknownVal(), UnknownVal(), State,
1168 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
1173 SValBuilder &svalBuilder = C.getSValBuilder();
1175 State = MallocMemAux(C, CE, CE->getArg(0), zeroVal, State);
1176 State = ProcessZeroAllocCheck(C, CE, 0, State);
1180 State = MallocMemAux(C, CE, CE->getArg(1), UndefinedVal(), State);
1181 State = ProcessZeroAllocCheck(C, CE, 1, State);
1191 SValBuilder &SB = C.getSValBuilder();
1194 SVal TotalSize = evalMulForBufferSize(C, CE->getArg(0), CE->getArg(1));
1195 State = MallocMemAux(C, CE, TotalSize, Init, State);
1196 State = ProcessZeroAllocCheck(C, CE, 0, State);
1197 State = ProcessZeroAllocCheck(C, CE, 1, State);
1202 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ false, State,
1204 State = ProcessZeroAllocCheck(C, CE, 1, State);
1205 State = ProcessZeroAllocCheck(C, CE, 2, State);
1217 State = MallocMemReturnsAttr(C, CE, I, State);
1221 State = FreeMemAttr(C, CE, I, State);
1226 C.addTransition(State);