| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| D | StreamChecker.cpp | 74 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 78 void Fopen(CheckerContext &C, const CallExpr *CE) const; 79 void Tmpfile(CheckerContext &C, const CallExpr *CE) const; 80 void Fclose(CheckerContext &C, const CallExpr *CE) const; 81 void Fread(CheckerContext &C, const CallExpr *CE) const; 82 void Fwrite(CheckerContext &C, const CallExpr *CE) const; 83 void Fseek(CheckerContext &C, const CallExpr *CE) const; 84 void Ftell(CheckerContext &C, const CallExpr *CE) const; 85 void Rewind(CheckerContext &C, const CallExpr *CE) const; 86 void Fgetpos(CheckerContext &C, const CallExpr *CE) const; [all …]
|
| D | GenericTaintChecker.cpp | 36 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 39 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 54 bool checkPre(const CallExpr *CE, CheckerContext &C) const; 57 void addSourcesPre(const CallExpr *CE, CheckerContext &C) const; 60 bool propagateFromPre(const CallExpr *CE, CheckerContext &C) const; 63 void addSourcesPost(const CallExpr *CE, CheckerContext &C) const; 76 ProgramStateRef postScanf(const CallExpr *CE, CheckerContext &C) const; 77 ProgramStateRef postSocket(const CallExpr *CE, CheckerContext &C) const; 78 ProgramStateRef postRetTaint(const CallExpr *CE, CheckerContext &C) const; 81 ProgramStateRef preFscanf(const CallExpr *CE, CheckerContext &C) const; [all …]
|
| D | UnixAPIChecker.cpp | 37 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 39 void CheckOpen(CheckerContext &C, const CallExpr *CE) const; 40 void CheckPthreadOnce(CheckerContext &C, const CallExpr *CE) const; 41 void CheckCallocZero(CheckerContext &C, const CallExpr *CE) const; 42 void CheckMallocZero(CheckerContext &C, const CallExpr *CE) const; 43 void CheckReallocZero(CheckerContext &C, const CallExpr *CE) const; 44 void CheckReallocfZero(CheckerContext &C, const CallExpr *CE) const; 45 void CheckAllocaZero(CheckerContext &C, const CallExpr *CE) const; 46 void CheckVallocZero(CheckerContext &C, const CallExpr *CE) const; 56 const CallExpr *CE, [all …]
|
| D | CheckSecuritySyntaxOnly.cpp | 68 void VisitCallExpr(CallExpr *CE); 76 bool checkCall_strCommon(const CallExpr *CE, const FunctionDecl *FD); 83 void checkCall_gets(const CallExpr *CE, const FunctionDecl *FD); 84 void checkCall_getpw(const CallExpr *CE, const FunctionDecl *FD); 85 void checkCall_mktemp(const CallExpr *CE, const FunctionDecl *FD); 86 void checkCall_mkstemp(const CallExpr *CE, const FunctionDecl *FD); 87 void checkCall_strcpy(const CallExpr *CE, const FunctionDecl *FD); 88 void checkCall_strcat(const CallExpr *CE, const FunctionDecl *FD); 89 void checkCall_rand(const CallExpr *CE, const FunctionDecl *FD); 90 void checkCall_random(const CallExpr *CE, const FunctionDecl *FD); [all …]
|
| D | PthreadLockChecker.cpp | 36 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 38 void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock, 41 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const; 49 void PthreadLockChecker::checkPostStmt(const CallExpr *CE, in REGISTER_LIST_WITH_PROGRAMSTATE() 53 StringRef FName = C.getCalleeName(CE); in REGISTER_LIST_WITH_PROGRAMSTATE() 57 if (CE->getNumArgs() != 1) in REGISTER_LIST_WITH_PROGRAMSTATE() 63 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE() 68 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE() 73 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE() 78 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE() [all …]
|
| D | CStringChecker.cpp | 60 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 76 void evalMemcpy(CheckerContext &C, const CallExpr *CE) const; 77 void evalMempcpy(CheckerContext &C, const CallExpr *CE) const; 78 void evalMemmove(CheckerContext &C, const CallExpr *CE) const; 79 void evalBcopy(CheckerContext &C, const CallExpr *CE) const; 80 void evalCopyCommon(CheckerContext &C, const CallExpr *CE, 88 void evalMemcmp(CheckerContext &C, const CallExpr *CE) const; 90 void evalstrLength(CheckerContext &C, const CallExpr *CE) const; 91 void evalstrnLength(CheckerContext &C, const CallExpr *CE) const; 93 const CallExpr *CE, [all …]
|
| D | ExprInspectionChecker.cpp | 23 void analyzerEval(const CallExpr *CE, CheckerContext &C) const; 24 void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const; 25 void analyzerWarnIfReached(const CallExpr *CE, CheckerContext &C) const; 26 void analyzerCrash(const CallExpr *CE, CheckerContext &C) const; 32 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 36 bool ExprInspectionChecker::evalCall(const CallExpr *CE, in evalCall() argument 40 FnCheck Handler = llvm::StringSwitch<FnCheck>(C.getCalleeName(CE)) in evalCall() 51 (this->*Handler)(CE, C); in evalCall() 55 static const char *getArgumentValueString(const CallExpr *CE, in getArgumentValueString() argument 57 if (CE->getNumArgs() == 0) in getArgumentValueString() [all …]
|
| D | BuiltinFunctionChecker.cpp | 27 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 32 bool BuiltinFunctionChecker::evalCall(const CallExpr *CE, in evalCall() argument 35 const FunctionDecl *FD = C.getCalleeDecl(CE); in evalCall() 49 assert (CE->arg_begin() != CE->arg_end()); in evalCall() 50 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); in evalCall() 51 C.addTransition(state->BindExpr(CE, LCtx, X)); in evalCall() 59 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext()); in evalCall() 65 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>(); in evalCall() 74 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall() 83 if (CE->EvaluateAsInt(Result, C.getASTContext(), Expr::SE_NoSideEffects)) { in evalCall() [all …]
|
| D | CStringSyntaxChecker.cpp | 56 if (const CallExpr *CE = dyn_cast<CallExpr>(E)) { in isStrlen() local 57 const FunctionDecl *FD = CE->getDirectCallee(); in isStrlen() 61 sameDecl(CE->getArg(0), WithArg)); in isStrlen() 81 bool containsBadStrncatPattern(const CallExpr *CE); 93 void VisitCallExpr(CallExpr *CE); 103 bool WalkAST::containsBadStrncatPattern(const CallExpr *CE) { in containsBadStrncatPattern() argument 104 if (CE->getNumArgs() != 3) in containsBadStrncatPattern() 106 const Expr *DstArg = CE->getArg(0); in containsBadStrncatPattern() 107 const Expr *SrcArg = CE->getArg(1); in containsBadStrncatPattern() 108 const Expr *LenArg = CE->getArg(2); in containsBadStrncatPattern() [all …]
|
| D | ObjCContainersChecker.cpp | 53 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 54 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 80 void ObjCContainersChecker::checkPostStmt(const CallExpr *CE, in checkPostStmt() argument 82 StringRef Name = C.getCalleeName(CE); in checkPostStmt() 83 if (Name.empty() || CE->getNumArgs() < 1) in checkPostStmt() 88 if (CE->getNumArgs() < 3) in checkPostStmt() 93 addSizeInfo(CE, CE->getArg(2), C); in checkPostStmt() 98 addSizeInfo(CE->getArg(0), CE, C); in checkPostStmt() 103 void ObjCContainersChecker::checkPreStmt(const CallExpr *CE, in checkPreStmt() argument 105 StringRef Name = C.getCalleeName(CE); in checkPreStmt() [all …]
|
| D | VirtualCallChecker.cpp | 113 void VisitCallExpr(CallExpr *CE); 114 void VisitCXXMemberCallExpr(CallExpr *CE); 118 void ReportVirtualCall(const CallExpr *CE, bool isPure); 133 void WalkAST::VisitCallExpr(CallExpr *CE) { in VisitCallExpr() argument 134 VisitChildren(CE); in VisitCallExpr() 135 Enqueue(CE); in VisitCallExpr() 138 void WalkAST::VisitCXXMemberCallExpr(CallExpr *CE) { in VisitCXXMemberCallExpr() argument 139 VisitChildren(CE); in VisitCXXMemberCallExpr() 143 if (MemberExpr *CME = dyn_cast<MemberExpr>(CE->getCallee())) { in VisitCXXMemberCallExpr() 156 const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(CE->getDirectCallee()); in VisitCXXMemberCallExpr() [all …]
|
| D | ChrootChecker.cpp | 54 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 55 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 58 void Chroot(CheckerContext &C, const CallExpr *CE) const; 59 void Chdir(CheckerContext &C, const CallExpr *CE) const; 64 bool ChrootChecker::evalCall(const CallExpr *CE, CheckerContext &C) const { in evalCall() argument 65 const FunctionDecl *FD = C.getCalleeDecl(CE); in evalCall() 76 Chroot(C, CE); in evalCall() 80 Chdir(C, CE); in evalCall() 87 void ChrootChecker::Chroot(CheckerContext &C, const CallExpr *CE) const { in Chroot() 97 void ChrootChecker::Chdir(CheckerContext &C, const CallExpr *CE) const { in Chdir() [all …]
|
| D | ObjCContainersASTChecker.cpp | 81 void VisitCallExpr(CallExpr *CE); 85 static StringRef getCalleeName(CallExpr *CE) { in getCalleeName() argument 86 const FunctionDecl *FD = CE->getDirectCallee(); in getCalleeName() 97 void WalkAST::VisitCallExpr(CallExpr *CE) { in VisitCallExpr() argument 98 StringRef Name = getCalleeName(CE); in VisitCallExpr() 106 if (CE->getNumArgs() != 4) in VisitCallExpr() 109 Arg = CE->getArg(ArgNum)->IgnoreParenCasts(); in VisitCallExpr() 113 if (CE->getNumArgs() != 6) in VisitCallExpr() 117 Arg = CE->getArg(ArgNum)->IgnoreParenCasts(); in VisitCallExpr() 121 Arg = CE->getArg(ArgNum)->IgnoreParenCasts(); in VisitCallExpr() [all …]
|
| D | MacOSXAPIChecker.cpp | 37 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 39 void CheckDispatchOnce(CheckerContext &C, const CallExpr *CE, 52 void MacOSXAPIChecker::CheckDispatchOnce(CheckerContext &C, const CallExpr *CE, in CheckDispatchOnce() argument 54 if (CE->getNumArgs() < 1) in CheckDispatchOnce() 61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion(); in CheckDispatchOnce() 77 if (CE->getLocStart().isMacroID()) { in CheckDispatchOnce() 96 report->addRange(CE->getArg(0)->getSourceRange()); in CheckDispatchOnce() 104 void MacOSXAPIChecker::checkPreStmt(const CallExpr *CE, in checkPreStmt() argument 106 StringRef Name = C.getCalleeName(CE); in checkPreStmt() 119 (this->*SC)(C, CE, Name); in checkPreStmt()
|
| D | MallocChecker.cpp | 185 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 238 const CallExpr *CE, 240 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE, in MallocMemAux() argument 244 return MallocMemAux(C, CE, in MallocMemAux() 249 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE, 259 ProgramStateRef FreeMemAttr(CheckerContext &C, const CallExpr *CE, 261 ProgramStateRef FreeMemAux(CheckerContext &C, const CallExpr *CE, 273 ProgramStateRef ReallocMem(CheckerContext &C, const CallExpr *CE, 275 static ProgramStateRef CallocMem(CheckerContext &C, const CallExpr *CE); 572 void MallocChecker::checkPostStmt(const CallExpr *CE, CheckerContext &C) const { in checkPostStmt() argument [all …]
|
| D | NoReturnFunctionChecker.cpp | 32 void checkPostCall(const CallEvent &CE, CheckerContext &C) const; 38 void NoReturnFunctionChecker::checkPostCall(const CallEvent &CE, in checkPostCall() argument 43 if (const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(CE.getDecl())) in checkPostCall() 46 const Expr *Callee = CE.getOriginExpr(); in checkPostCall() 50 if (!BuildSinks && CE.isGlobalCFunction()) { in checkPostCall() 51 if (const IdentifierInfo *II = CE.getCalleeIdentifier()) { in checkPostCall()
|
| D | CastToStructChecker.cpp | 30 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const; 34 void CastToStructChecker::checkPreStmt(const CastExpr *CE, in checkPreStmt() argument 36 const Expr *E = CE->getSubExpr(); in checkPreStmt() 39 QualType ToTy = Ctx.getCanonicalType(CE->getType()); in checkPreStmt() 66 R->addRange(CE->getSourceRange()); in checkPreStmt()
|
| D | CastSizeChecker.cpp | 28 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const; 32 void CastSizeChecker::checkPreStmt(const CastExpr *CE,CheckerContext &C) const { in checkPreStmt() argument 33 const Expr *E = CE->getSubExpr(); in checkPreStmt() 35 QualType ToTy = Ctx.getCanonicalType(CE->getType()); in checkPreStmt() 77 R->addRange(CE->getSourceRange()); in checkPreStmt()
|
| /freebsd-9-stable/contrib/llvm/lib/Target/XCore/ |
| D | XCoreLowerThreadLocal.cpp | 78 createReplacementInstr(ConstantExpr *CE, Instruction *Instr) { in createReplacementInstr() argument 80 unsigned OpCode = CE->getOpcode(); in createReplacementInstr() 83 SmallVector<Value *,4> CEOpVec(CE->op_begin(), CE->op_end()); in createReplacementInstr() 105 CE->getOperand(0), CE->getOperand(1), in createReplacementInstr() 106 CE->getName())); in createReplacementInstr() 121 CE->getOperand(0), CE->getType(), in createReplacementInstr() 122 CE->getName())); in createReplacementInstr() 128 static bool replaceConstantExprOp(ConstantExpr *CE, Pass *P) { in replaceConstantExprOp() argument 131 for (Value::use_iterator I = CE->use_begin(), E = CE->use_end(); in replaceConstantExprOp() 140 if (PN->getIncomingValue(I) == CE) { in replaceConstantExprOp() [all …]
|
| /freebsd-9-stable/contrib/llvm/lib/Target/AArch64/AsmParser/ |
| D | AArch64AsmParser.cpp | 299 const MCConstantExpr *CE = cast<MCConstantExpr>(ImmWithLSL.Val); in isAddSubImmLSL0() local 300 return CE->getValue() >= 0 && CE->getValue() <= 0xfff; in isAddSubImmLSL0() 314 const MCConstantExpr *CE = cast<MCConstantExpr>(ImmWithLSL.Val); in isAddSubImmLSL12() local 315 return CE->getValue() >= 0 && CE->getValue() <= 0xfff; in isAddSubImmLSL12() 348 const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(getImm()); in isBitfieldWidth() local 349 if (!CE) return false; in isBitfieldWidth() 351 return CE->getValue() >= 1 && CE->getValue() <= RegWidth; in isBitfieldWidth() 358 const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(getImm()); in isCVTFixedPos() local 359 if (!CE) return false; in isCVTFixedPos() 361 return CE->getValue() >= 1 && CE->getValue() <= RegWidth; in isCVTFixedPos() [all …]
|
| /freebsd-9-stable/contrib/llvm/lib/Target/ARM/AsmParser/ |
| D | ARMAsmParser.cpp | 622 if (const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(Imm.Val)) { in isUnsignedOffset() local 623 int64_t Val = CE->getValue(); in isUnsignedOffset() 636 if (const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(Imm.Val)) { in isSignedOffset() local 637 int64_t Val = CE->getValue(); in isSignedOffset() 654 const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(Imm.Val); in isThumbMemPC() local 655 if (!CE) return false; in isThumbMemPC() 656 Val = CE->getValue(); in isThumbMemPC() 668 const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(getImm()); in isFPImm() local 669 if (!CE) return false; in isFPImm() 670 int Val = ARM_AM::getFP32Imm(APInt(32, CE->getValue())); in isFPImm() [all …]
|
| /freebsd-9-stable/contrib/llvm/lib/Analysis/ |
| D | ConstantFolding.cpp | 233 ConstantExpr *CE = dyn_cast<ConstantExpr>(C); in IsConstantOffsetFromGlobal() local 234 if (!CE) return false; in IsConstantOffsetFromGlobal() 237 if (CE->getOpcode() == Instruction::PtrToInt || in IsConstantOffsetFromGlobal() 238 CE->getOpcode() == Instruction::BitCast) in IsConstantOffsetFromGlobal() 239 return IsConstantOffsetFromGlobal(CE->getOperand(0), GV, Offset, TD); in IsConstantOffsetFromGlobal() 242 GEPOperator *GEP = dyn_cast<GEPOperator>(CE); in IsConstantOffsetFromGlobal() 250 if (!IsConstantOffsetFromGlobal(CE->getOperand(0), GV, TmpOffset, TD)) in IsConstantOffsetFromGlobal() 376 if (ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) { in ReadDataFromGlobal() local 377 if (CE->getOpcode() == Instruction::IntToPtr && in ReadDataFromGlobal() 378 CE->getOperand(0)->getType() == TD.getIntPtrType(CE->getType())) { in ReadDataFromGlobal() [all …]
|
| /freebsd-9-stable/contrib/llvm/include/llvm/IR/ |
| D | Operator.h | 63 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(V)) in getOpcode() local 64 return CE->getOpcode(); in getOpcode() 117 static inline bool classof(const ConstantExpr *CE) { in classof() argument 118 return CE->getOpcode() == Instruction::Add || in classof() 119 CE->getOpcode() == Instruction::Sub || in classof() 120 CE->getOpcode() == Instruction::Mul || in classof() 121 CE->getOpcode() == Instruction::Shl; in classof() 157 static inline bool classof(const ConstantExpr *CE) { in classof() argument 158 return isPossiblyExactOpcode(CE->getOpcode()); in classof() 319 static inline bool classof(const ConstantExpr *CE) { in classof() argument [all …]
|
| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineCXX.cpp | 111 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr() argument 123 switch (CE->getConstructionKind()) { in VisitCXXConstructExpr() 135 if (Var->getInit()->IgnoreImplicit() == CE) { in VisitCXXConstructExpr() 178 Target = MRMgr.getCXXTempObjectRegion(CE, LCtx); in VisitCXXConstructExpr() 209 if (CE->getConstructionKind() == CXXConstructExpr::CK_Delegating) { in VisitCXXConstructExpr() 214 (CE->getConstructionKind() == CXXConstructExpr::CK_VirtualBase); in VisitCXXConstructExpr() 215 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, CE->getType(), in VisitCXXConstructExpr() 225 CEMgr.getCXXConstructorCall(CE, Target, State, LCtx); in VisitCXXConstructExpr() 228 getCheckerManager().runCheckersForPreStmt(DstPreVisit, Pred, CE, *this); in VisitCXXConstructExpr() 233 if (CE->requiresZeroInitialization()) { in VisitCXXConstructExpr() [all …]
|
| /freebsd-9-stable/contrib/llvm/lib/IR/ |
| D | ConstantFold.cpp | 218 ConstantExpr *CE = dyn_cast<ConstantExpr>(C); in ExtractConstantBytes() local 219 if (CE == 0) return 0; in ExtractConstantBytes() 221 switch (CE->getOpcode()) { in ExtractConstantBytes() 224 Constant *RHS = ExtractConstantBytes(CE->getOperand(1), ByteStart,ByteSize); in ExtractConstantBytes() 233 Constant *LHS = ExtractConstantBytes(CE->getOperand(0), ByteStart,ByteSize); in ExtractConstantBytes() 239 Constant *RHS = ExtractConstantBytes(CE->getOperand(1), ByteStart,ByteSize); in ExtractConstantBytes() 247 Constant *LHS = ExtractConstantBytes(CE->getOperand(0), ByteStart,ByteSize); in ExtractConstantBytes() 253 ConstantInt *Amt = dyn_cast<ConstantInt>(CE->getOperand(1)); in ExtractConstantBytes() 264 return Constant::getNullValue(IntegerType::get(CE->getContext(), in ExtractConstantBytes() 268 return ExtractConstantBytes(CE->getOperand(0), ByteStart+ShAmt, ByteSize); in ExtractConstantBytes() [all …]
|