| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefinedNewArraySizeChecker.cpp | 33 void HandleUndefinedArrayElementCount(CheckerContext &C, SVal ArgVal,
55 CheckerContext &C, SVal ArgVal, const Expr *Init, SourceRange Range) const { in HandleUndefinedArrayElementCount() argument
65 R->markInteresting(ArgVal); in HandleUndefinedArrayElementCount()
|
| H A D | ChrootChecker.cpp | 100 SVal ArgVal = C.getSVal(ArgExpr); in evalChdir() local
102 if (const MemRegion *R = ArgVal.getAsRegion()) { in evalChdir()
|
| H A D | MallocChecker.cpp | 685 void HandleNonHeapDealloc(CheckerContext &C, SVal ArgVal, SourceRange Range,
689 void HandleFreeAlloca(CheckerContext &C, SVal ArgVal,
696 void HandleOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
711 void HandleFunctionPtrFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
724 SVal ArgVal) const;
1898 SVal ArgVal = C.getSVal(ArgExpr); in FreeMemAux() local
1899 if (!isa<DefinedOrUnknownSVal>(ArgVal)) in FreeMemAux()
1901 DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>(); in FreeMemAux()
1915 if (ArgVal.isUnknownOrUndef()) in FreeMemAux()
1918 const MemRegion *R = ArgVal.getAsRegion(); in FreeMemAux()
[all …]
|
| H A D | ExprInspectionChecker.cpp | 535 SVal ArgVal = C.getSVal(CE->getArg(0)); in analyzerExpress() local
536 SymbolRef Sym = ArgVal.getAsSymbol(); in analyzerExpress()
538 reportBug("Not a symbol", C, ArgVal); in analyzerExpress()
545 reportBug("Unable to express", C, ArgVal); in analyzerExpress()
549 reportBug(*Str, C, ArgVal); in analyzerExpress()
|
| H A D | SmartPtrModeling.cpp | 407 auto ArgVal = Call.getArgSVal(0); in evalCall() local
408 State = State->set<TrackedRegionMap>(ThisRegion, ArgVal); in evalCall()
411 ArgVal](PathSensitiveBugReport &BR, in evalCall()
419 if (ArgVal.isZeroConstant()) in evalCall()
|
| H A D | BasicObjCFoundationChecks.cpp | 558 SVal ArgVal = Call.getArgSVal(0); in checkPreCall() local
559 std::optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreCall()
|
| H A D | CStringChecker.cpp | 1485 SVal ArgVal = state->getSVal(Arg.Expression, LCtx); in evalstrLengthCommon() local
1486 state = checkNonNull(C, state, Arg, ArgVal); in evalstrLengthCommon()
1491 SVal strLength = getCStringLength(C, state, Arg.Expression, ArgVal); in evalstrLengthCommon()
|
| /openbsd-src/gnu/llvm/llvm/include/llvm/Analysis/ |
| H A D | AssumeBundleQueries.h | 43 uint64_t *ArgVal = nullptr);
46 uint64_t *ArgVal = nullptr) {
48 Attribute::getNameFromAttrKind(Kind), ArgVal);
|
| /openbsd-src/gnu/llvm/llvm/lib/Analysis/ |
| H A D | AssumeBundleQueries.cpp | 44 StringRef AttrName, uint64_t *ArgVal) { in hasAttributeInAssume() argument
47 assert((ArgVal == nullptr || Attribute::isIntAttrKind( in hasAttributeInAssume()
59 if (ArgVal) { in hasAttributeInAssume()
61 *ArgVal = in hasAttributeInAssume()
|
| H A D | IRSimilarityIdentifier.cpp | 519 unsigned ArgVal; in checkNumberingAndReplaceCommutative() local
527 ArgVal = SourceValueToNumberMapping.find(V)->second; in checkNumberingAndReplaceCommutative()
531 std::make_pair(ArgVal, TargetValueNumbers)); in checkNumberingAndReplaceCommutative()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | CallEvent.cpp | 433 SVal ArgVal, SValBuilder &SVB) { in castArgToParamTypeIfNeeded() argument
439 return ArgVal; in castArgToParamTypeIfNeeded()
446 return ArgVal; in castArgToParamTypeIfNeeded()
455 return SVB.evalCast(ArgVal, Param->getType(), ArgExpr->getType()); in castArgToParamTypeIfNeeded()
481 SVal ArgVal = Call.getArgSVal(Idx); in addParameterValuesToBindings() local
484 if (ArgVal.isUnknown()) in addParameterValuesToBindings()
489 ArgVal = castArgToParamTypeIfNeeded(Call, Idx, ArgVal, SVB); in addParameterValuesToBindings()
494 std::make_pair(ParamLoc, processArgument(ArgVal, ArgExpr, *I, SVB))); in addParameterValuesToBindings()
|
| H A D | ExprEngine.cpp | 1400 SVal ArgVal = State->getSVal(Arg, LCtx); in ProcessDeleteDtor() local
1404 if (State->isNull(ArgVal).isConstrainedTrue()) { in ProcessDeleteDtor()
1422 const MemRegion *ArgR = ArgVal.getAsRegion(); in ProcessDeleteDtor()
1448 ArgR = State->getLValue(DTy, svalBuilder.makeArrayIndex(Idx), ArgVal) in ProcessDeleteDtor()
|
| /openbsd-src/gnu/llvm/clang/lib/Sema/ |
| H A D | SemaStmtAttr.cpp | 428 std::optional<llvm::APSInt> ArgVal; in handleOpenCLUnrollHint() local
430 if (!(ArgVal = E->getIntegerConstantExpr(S.Context))) { in handleOpenCLUnrollHint()
436 int Val = ArgVal->getSExtValue(); in handleOpenCLUnrollHint()
|
| /openbsd-src/gnu/llvm/clang/lib/CodeGen/ |
| H A D | CGDecl.cpp | 2534 llvm::Value *ArgVal = (DoStore ? Arg.getDirectValue() : nullptr); in EmitParmDecl() local
2555 if (Arg.isIndirect() && !ArgVal) in EmitParmDecl()
2556 ArgVal = Builder.CreateLoad(DeclPtr); in EmitParmDecl()
2566 EmitARCStoreStrongCall(lv.getAddress(*this), ArgVal, true); in EmitParmDecl()
2573 ArgVal = EmitARCRetainNonBlock(ArgVal); in EmitParmDecl()
2580 EHStack.pushCleanup<ConsumeARCParameter>(getARCCleanupKind(), ArgVal, in EmitParmDecl()
2585 EmitARCInitWeak(DeclPtr, ArgVal); in EmitParmDecl()
2597 EmitStoreOfScalar(ArgVal, lv, /* isInitialization */ true); in EmitParmDecl()
|
| /openbsd-src/gnu/llvm/llvm/include/llvm/Support/ |
| H A D | CommandLine.h | 845 StringRef ArgVal;
847 ArgVal = Arg;
849 ArgVal = ArgName;
852 if (Values[i].Name == ArgVal) {
857 return O.error("Cannot find option named '" + ArgVal + "'!");
|
| /openbsd-src/gnu/llvm/clang/lib/Analysis/FlowSensitive/ |
| H A D | Transfer.cpp | 558 } else if (auto *ArgVal = Env.getValue(*Arg, SkipPast::Reference)) { in VisitCXXConstructExpr() local
561 Env.setValue(Loc, *ArgVal); in VisitCXXConstructExpr()
|
| H A D | DataflowEnvironment.cpp | 376 } else if (auto *ArgVal = getValue(*ArgLoc)) { in pushCallInternal() local
377 setValue(Loc, *ArgVal); in pushCallInternal()
|
| /openbsd-src/gnu/llvm/llvm/lib/Target/AMDGPU/ |
| H A D | AMDGPUInstCombineIntrinsic.cpp | 370 const APFloat &ArgVal = C->getValueAPF(); in instCombineIntrinsic() local
371 APFloat Val(ArgVal.getSemantics(), 1); in instCombineIntrinsic()
372 Val.divide(ArgVal, APFloat::rmNearestTiesToEven); in instCombineIntrinsic()
|
| H A D | AMDGPUISelLowering.h | 317 SDValue ArgVal,
|
| /openbsd-src/gnu/llvm/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.cpp | 4270 SDValue ArgVal, in extendArgForPPC64() argument
4273 ArgVal = DAG.getNode(ISD::AssertSext, dl, MVT::i64, ArgVal, in extendArgForPPC64()
4276 ArgVal = DAG.getNode(ISD::AssertZext, dl, MVT::i64, ArgVal, in extendArgForPPC64()
4279 return DAG.getNode(ISD::TRUNCATE, dl, ObjectVT, ArgVal); in extendArgForPPC64()
4348 SDValue ArgVal; in LowerFormalArguments_64SVR4() local
4483 ArgVal = DAG.getCopyFromReg(Chain, dl, VReg, MVT::i64); in LowerFormalArguments_64SVR4()
4486 ArgVal = extendArgForPPC64(Flags, ObjectVT, DAG, ArgVal, dl); in LowerFormalArguments_64SVR4()
4497 ArgVal = DAG.getCopyFromReg(Chain, dl, VReg, MVT::i64); in LowerFormalArguments_64SVR4()
4502 ArgVal = extendArgForPPC64(Flags, ObjectVT, DAG, ArgVal, dl); in LowerFormalArguments_64SVR4()
4532 ArgVal = DAG.getCopyFromReg(Chain, dl, VReg, ObjectVT); in LowerFormalArguments_64SVR4()
[all …]
|
| /openbsd-src/gnu/llvm/llvm/lib/Target/Mips/ |
| H A D | MipsFastISel.cpp | 1148 const Value *ArgVal = CLI.OutVals[VA.getValNo()]; in processCallArgs() local
1193 Register ArgReg = getRegForValue(ArgVal); in processCallArgs()
1238 if (isa<UndefValue>(ArgVal)) in processCallArgs()
1257 Align Alignment = DL.getABITypeAlign(ArgVal->getType()); in processCallArgs()
|
| /openbsd-src/gnu/llvm/llvm/lib/Target/X86/ |
| H A D | X86FastISel.cpp | 3303 const Value *ArgVal = OutVals[VA.getValNo()]; in fastLowerCall() local
3393 if (isa<UndefValue>(ArgVal)) in fastLowerCall()
3401 Align Alignment = DL.getABITypeAlign(ArgVal->getType()); in fastLowerCall()
3410 } else if (isa<ConstantInt>(ArgVal) || isa<ConstantPointerNull>(ArgVal)) { in fastLowerCall()
3414 if (!X86FastEmitStore(ArgVT, ArgVal, AM, MMO)) in fastLowerCall()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 553 SVal ArgVal = CE.getArgSVal(idx); in updateOutParameters() local
556 auto *ArgRegion = dyn_cast_or_null<TypedValueRegion>(ArgVal.getAsRegion()); in updateOutParameters()
|
| /openbsd-src/gnu/llvm/llvm/lib/Transforms/Utils/ |
| H A D | InlineFunction.cpp | 1453 Value *ArgVal = CB.getArgOperand(Arg.getArgNo()); in AddAlignmentAssumptions() local
1454 if (getKnownAlignment(ArgVal, DL, &CB, AC, &DT) >= *Alignment) in AddAlignmentAssumptions()
1458 DL, ArgVal, Alignment->value()); in AddAlignmentAssumptions()
|
| /openbsd-src/gnu/llvm/llvm/lib/Target/WebAssembly/ |
| H A D | WebAssemblyISelLowering.cpp | 1097 SDValue ArgVal = DAG.getUNDEF(PtrVT); in LowerCall() local
1098 CLI.OutVals.push_back(ArgVal); in LowerCall()
1105 SDValue ArgVal = DAG.getUNDEF(PtrVT); in LowerCall() local
1106 CLI.OutVals.push_back(ArgVal); in LowerCall()
|