/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleConstraintManager.cpp | 25 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, argument 30 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 41 return assume(State, Cond.castAs<NonLoc>(), Assumption); 44 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, argument 46 State = assumeAux(State, Cond, Assumption); 48 return SU->processAssume(State, Cond, Assumption); 49 return State; 52 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef State, argument 62 return assumeSymUnsupported(State, Sy 94 assumeInclusiveRange( ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) argument [all...] |
H A D | ExprEngineCXX.cpp | 88 ProgramStateRef State = (*I)->getState(); local 90 State = State->BindExpr(CallExpr, LCtx, ThisVal); 92 State = bindReturnValue(Call, LCtx, State); 93 Bldr.generateNode(PS, State, *I); 98 SVal ExprEngine::makeZeroElementRegion(ProgramStateRef State, SVal LValue, argument 100 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 105 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue); 113 const Expr *E, ProgramStateRef State, cons 112 prepareForObjectConstruction( const Expr *E, ProgramStateRef State, const LocationContext *LCtx, const ConstructionContext *CC, EvalCallOptions &CallOpts) argument 399 ProgramStateRef State = Pred->getState(); local 511 ProgramStateRef State = (*I)->getState(); local 610 ProgramStateRef State = Pred->getState(); local 671 ProgramStateRef State = Pred->getState(); local 706 ProgramStateRef State = I->getState(); local 752 ProgramStateRef State = Pred->getState(); local 898 ProgramStateRef State = Pred->getState(); local [all...] |
H A D | RangedConstraintManager.cpp | 23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State, argument 28 return assumeSymUnsupported(State, Sym, Assumption); 39 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS()); 64 return assumeSymRel(State, Subtraction, Op, Zero); 70 return assumeSymUnsupported(State, Sym, Assumption); 74 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, 95 return assumeSymWithinInclusiveRange(State, AdjustedSym, ConvertedFrom, 97 return assumeSymOutsideInclusiveRange(State, AdjustedSym, ConvertedFrom, 102 RangedConstraintManager::assumeSymUnsupported(ProgramStateRef State, argument 109 return State; 73 assumeSymInclusiveRange( ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) argument 119 assumeSymRel(ProgramStateRef State, SymbolRef Sym, BinaryOperator::Opcode Op, const llvm::APSInt &Int) argument [all...] |
/freebsd-12-stable/contrib/llvm-project/llvm/lib/Target/PowerPC/ |
H A D | PPCCallingConv.cpp | 27 CCState &State) { 35 CCState &State) { 42 unsigned RegNum = State.getFirstUnallocated(ArgRegs); 49 State.AllocateReg(ArgRegs[RegNum]); 60 ISD::ArgFlagsTy &ArgFlags, CCState &State) { 67 unsigned RegNum = State.getFirstUnallocated(ArgRegs); 74 State.AllocateReg(ArgRegs[RegNum + i]); 85 CCState &State) { 93 unsigned RegNum = State.getFirstUnallocated(ArgRegs); 98 State 24 CC_PPC32_SVR4_Custom_Dummy(unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument 31 CC_PPC32_SVR4_Custom_AlignArgRegs(unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument 58 CC_PPC32_SVR4_Custom_SkipLastArgRegsPPCF128( unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument 81 CC_PPC32_SVR4_Custom_AlignFPArgRegs(unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument 109 CC_PPC32_SPE_CustomSplitFP64(unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument 138 CC_PPC32_SPE_RetF64(unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument [all...] |
H A D | PPCCallingConv.h | 24 CCState &State); 27 CCState &State); 30 CCState &State); 33 CCState &State); 36 CCState &State); 39 CCState &State); 42 ISD::ArgFlagsTy ArgFlags, CCState &State);
|
/freebsd-12-stable/contrib/llvm-project/llvm/lib/Target/X86/ |
H A D | X86CallingConv.cpp | 30 CCState &State) { 41 if (!State.isAllocated(Reg)) 53 unsigned Reg = State.AllocateReg(AvailableRegs[I]); 60 State.addLoc(CCValAssign::getCustomReg(ValNo, ValVT, Reg, LocVT, LocInfo)); 94 CCState &State) { 98 State.getMachineFunction().getSubtarget()) 103 if (!State.isAllocated(Reg)) { 104 unsigned AssigedReg = State.AllocateReg(Reg); 106 State.addLoc( 111 if (Is64bit && State 26 CC_X86_32_RegCall_Assign2Regs(unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument 90 CC_X86_VectorCallAssignRegister(unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument 128 CC_X86_64_VectorCall(unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument 188 CC_X86_32_VectorCall(unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument 237 CC_X86_32_MCUInReg(unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument 297 CC_X86_Intr(unsigned &ValNo, MVT &ValVT, MVT &LocVT, CCValAssign::LocInfo &LocInfo, ISD::ArgFlagsTy &ArgFlags, CCState &State) argument [all...] |
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | NullabilityChecker.cpp | 105 void printState(raw_ostream &Out, ProgramStateRef State, const char *NL, 263 ProgramStateRef State) { 264 ConditionTruthVal Nullness = State->isNull(Val); 296 ProgramStateRef State = N->getState(); local 299 const NullabilityState *TrackedNullab = State->get<NullabilityMap>(Region); 331 static bool checkValueAtLValForInvariantViolation(ProgramStateRef State, argument 346 auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>(); 350 if (getNullConstraint(*StoredVal, State) == NullConstraint::IsNull) 358 ProgramStateRef State, 364 SVal LV = State 262 getNullConstraint(DefinedOrUnknownSVal Val, ProgramStateRef State) argument 357 checkParamsForPreconditionViolation(ArrayRef<ParmVarDecl *> Params, ProgramStateRef State, const LocationContext *LocCtxt) argument 374 checkSelfIvarsForInvariantViolation(ProgramStateRef State, const LocationContext *LocCtxt) argument 404 checkInvariantViolation(ProgramStateRef State, ExplodedNode *N, CheckerContext &C) argument 451 ProgramStateRef State = C.getState(); local 779 getReceiverNullability(const ObjCMethodCall &M, ProgramStateRef State) argument 1165 printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const argument [all...] |
H A D | InnerPointerChecker.cpp | 63 bool isSymbolTracked(ProgramStateRef State, SymbolRef Sym) { argument 64 RawPtrMapTy Map = State->get<RawPtrMap>(); 95 void markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State, 102 void checkFunctionArguments(const CallEvent &Call, ProgramStateRef State, 134 ProgramStateRef State, 137 if (const PtrSet *PS = State->get<RawPtrMap>(MR)) { 142 State = allocation_state::markReleased(State, Symbol, Origin); 144 State = State 133 markPtrSymbolsReleased(const CallEvent &Call, ProgramStateRef State, const MemRegion *MR, CheckerContext &C) const argument 150 checkFunctionArguments(const CallEvent &Call, ProgramStateRef State, CheckerContext &C) const argument 196 ProgramStateRef State = C.getState(); local 236 ProgramStateRef State = C.getState(); local 267 getContainerObjRegion(ProgramStateRef State, SymbolRef Sym) argument [all...] |
H A D | SimpleStreamChecker.cpp | 79 ProgramStateRef checkPointerEscape(ProgramStateRef State, 131 ProgramStateRef State = C.getState(); 132 State = State->set<StreamMap>(FileDesc, StreamState::getOpened()); 133 C.addTransition(State); 150 ProgramStateRef State = C.getState(); 151 const StreamState *SS = State->get<StreamMap>(FileDesc); 158 State = State->set<StreamMap>(FileDesc, StreamState::getClosed()); 159 C.addTransition(State); 162 isLeaked(SymbolRef Sym, const StreamState &SS, bool IsSymDead, ProgramStateRef State) argument 176 ProgramStateRef State = C.getState(); local 248 checkPointerEscape(ProgramStateRef State, const InvalidatedSymbols &Escaped, const CallEvent *Call, PointerEscapeKind Kind) const argument [all...] |
H A D | FuchsiaHandleChecker.cpp | 120 static HandleState getAllocated(ProgramStateRef State, HandleState S) { argument 122 assert(State->getConstraintManager() 123 .isNull(State, S.getErrorSym()) 175 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond, 177 ProgramStateRef checkPointerEscape(ProgramStateRef State, 195 void printState(raw_ostream &Out, ProgramStateRef State, const char *NL, 204 ProgramStateRef State = N->getState(); local 207 if (!State->get<HStateMap>(Sym)) 212 State = N->getState(); 213 if (!State 226 getFuchsiaHandleSymbol(QualType QT, SVal Arg, ProgramStateRef State) argument 254 ProgramStateRef State = C.getState(); local 380 ProgramStateRef State = C.getState(); local 408 evalAssume(ProgramStateRef State, SVal Cond, bool Assumption) const argument 438 checkPointerEscape( ProgramStateRef State, const InvalidatedSymbols &Escaped, const CallEvent *Call, PointerEscapeKind Kind) const argument 542 printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const argument [all...] |
H A D | MoveChecker.cpp | 57 checkRegionChanges(ProgramStateRef State, 62 void printState(raw_ostream &Out, ProgramStateRef State, 211 void modelUse(ProgramStateRef State, const MemRegion *Region, 235 bool isMovedFrom(ProgramStateRef State, const MemRegion *Region) { argument 236 const RegionState *RS = State->get<TrackedRegionMap>(Region); 244 static ProgramStateRef removeFromState(ProgramStateRef State, argument 247 return State; 248 for (auto &E : State->get<TrackedRegionMap>()) { 250 State = State 255 isAnyBaseRegionReported(ProgramStateRef State, const MemRegion *Region) argument 341 ProgramStateRef State = N->getState(); local 350 modelUse(ProgramStateRef State, const MemRegion *Region, const CXXRecordDecl *RD, MisuseKind MK, CheckerContext &C) const argument 604 ProgramStateRef State = C.getState(); local 687 ProgramStateRef State = C.getState(); local 701 checkRegionChanges( ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef<const MemRegion *> RequestedRegions, ArrayRef<const MemRegion *> InvalidatedRegions, const LocationContext *LCtx, const CallEvent *Call) const argument 737 printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const argument [all...] |
H A D | Iterator.cpp | 149 const ContainerData *getContainerData(ProgramStateRef State, argument 151 return State->get<ContainerMap>(Cont); 154 const IteratorPosition *getIteratorPosition(ProgramStateRef State, argument 158 return State->get<IteratorRegionMap>(Reg); 160 return State->get<IteratorSymbolMap>(Sym); 162 return State->get<IteratorRegionMap>(LCVal->getRegion()); 167 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, argument 171 return State->set<IteratorRegionMap>(Reg, Pos); 173 return State->set<IteratorSymbolMap>(Sym, Pos); 175 return State 180 advancePosition(ProgramStateRef State, const SVal &Iter, OverloadedOperatorKind Op, const SVal &Distance) argument 207 compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2, BinaryOperator::Opcode Opc) argument 212 compare(ProgramStateRef State, NonLoc NL1, NonLoc NL2, BinaryOperator::Opcode Opc) argument [all...] |
H A D | ObjCContainersChecker.cpp | 55 ProgramStateRef checkPointerEscape(ProgramStateRef State, 60 void printState(raw_ostream &OS, ProgramStateRef State, 70 ProgramStateRef State = C.getState(); local 83 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>())); 117 ProgramStateRef State = C.getState(); local 126 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym); 140 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T); 141 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T); 159 ObjCContainersChecker::checkPointerEscape(ProgramStateRef State, argument 169 State 174 printState(raw_ostream &OS, ProgramStateRef State, const char *NL, const char *Sep) const argument [all...] |
H A D | MacOSKeychainAPIChecker.cpp | 62 ProgramStateRef checkPointerEscape(ProgramStateRef State, 68 void printState(raw_ostream &Out, ProgramStateRef State, 210 ProgramStateRef State = C.getState(); local 215 SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol(); 228 ProgramStateRef State = C.getState(); local 229 State = State->remove<AllocatedData>(AP.first); 230 ExplodedNode *N = C.generateNonFatalErrorNode(State); 252 ProgramStateRef State = C.getState(); local 271 if (const AllocationState *AS = State 404 ProgramStateRef State = C.getState(); local 505 evalAssume(ProgramStateRef State, SVal Cond, bool Assumption) const argument 543 ProgramStateRef State = C.getState(); local 582 checkPointerEscape( ProgramStateRef State, const InvalidatedSymbols &Escaped, const CallEvent *Call, PointerEscapeKind Kind) const argument 650 printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const argument [all...] |
H A D | CheckerDocumentation.cpp | 239 ProgramStateRef evalAssume(ProgramStateRef State, argument 241 bool Assumption) const { return State; } 248 void checkLiveSymbols(ProgramStateRef State, SymbolReaper &SR) const {} argument 256 /// \param State The current program state. 273 checkRegionChanges(ProgramStateRef State, argument 279 return State; 289 /// \param State The state at the point of escape. 295 ProgramStateRef checkPointerEscape(ProgramStateRef State, argument 299 return State; 306 ProgramStateRef checkConstPointerEscape(ProgramStateRef State, argument [all...] |
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SimpleConstraintManager.h | 39 ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond, 42 ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value, 54 virtual ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym, 61 virtual ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, 69 virtual ProgramStateRef assumeSymUnsupported(ProgramStateRef State, 82 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption); 84 ProgramStateRef assumeAux(ProgramStateRef State, NonLoc Cond,
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPITypes.h | 29 enum State : unsigned char { Nonblocking, Wait }; 31 Request(State S) : CurrentState{S} {} 41 const State CurrentState;
|
H A D | MPIChecker.cpp | 39 ProgramStateRef State = Ctx.getState(); 40 const Request *const Req = State->get<RequestMap>(MR); 43 if (Req && Req->CurrentState == Request::State::Nonblocking) { 51 State = State->set<RequestMap>(MR, Request::State::Nonblocking); 52 Ctx.addTransition(State); 74 ProgramStateRef State = Ctx.getState(); 80 const Request *const Req = State->get<RequestMap>(ReqRegion); 81 State 102 ProgramStateRef State = Ctx.getState(); local [all...] |
/freebsd-12-stable/contrib/llvm-project/clang/lib/AST/Interp/ |
H A D | Context.h | 34 class State; 47 bool isPotentialConstantExpr(State &Parent, const FunctionDecl *FnDecl); 50 bool evaluateAsRValue(State &Parent, const Expr *E, APValue &Result); 53 bool evaluateAsInitializer(State &Parent, const VarDecl *VD, APValue &Result); 69 bool Run(State &Parent, Function *Func, APValue &Result); 72 bool Check(State &Parent, llvm::Expected<bool> &&R);
|
H A D | State.cpp | 1 //===--- State.cpp - State chain for the VM and AST Walker ------*- C++ -*-===// 9 #include "State.h" 18 State::~State() {} 20 OptionalDiagnostic State::FFDiag(SourceLocation Loc, diag::kind DiagId, 25 OptionalDiagnostic State::FFDiag(const Expr *E, diag::kind DiagId, 33 OptionalDiagnostic State::FFDiag(const SourceInfo &SI, diag::kind DiagId, 41 OptionalDiagnostic State::CCEDiag(SourceLocation Loc, diag::kind DiagId, 52 OptionalDiagnostic State [all...] |
H A D | Context.cpp | 28 bool Context::isPotentialConstantExpr(State &Parent, const FunctionDecl *FD) { 48 bool Context::evaluateAsRValue(State &Parent, const Expr *E, APValue &Result) { 53 bool Context::evaluateAsInitializer(State &Parent, const VarDecl *VD, 112 bool Context::Run(State &Parent, Function *Func, APValue &Result) { 113 InterpState State(Parent, *P, Stk, *this); 114 State.Current = new InterpFrame(State, Func, nullptr, {}, {}); 115 if (Interpret(State, Result)) 121 bool Context::Check(State &Parent, llvm::Expected<bool> &&Flag) {
|
/freebsd-12-stable/contrib/llvm-project/compiler-rt/lib/scudo/standalone/ |
H A D | common.h | 78 inline u32 getRandomU32(u32 *State) { argument 80 // return (*State = *State * 1103515245 + 12345) >> 16; 82 *State ^= *State << 13; 83 *State ^= *State >> 17; 84 *State ^= *State << 5; 85 return *State; 88 getRandomModN(u32 *State, u32 N) argument [all...] |
/freebsd-12-stable/contrib/llvm-project/llvm/include/llvm/CodeGen/GlobalISel/ |
H A D | InstructionSelectorImpl.h | 50 TgtInstructionSelector &ISel, NewMIVector &OutMIs, MatcherState &State, 94 MachineOperand &MO = State.MIs[InsnID]->getOperand(OpIdx); 111 if ((size_t)NewInsnID < State.MIs.size()) 112 State.MIs[NewInsnID] = NewMI; 114 assert((size_t)NewInsnID == State.MIs.size() && 116 State.MIs.push_back(NewMI); 143 assert(State.MIs[InsnID] != nullptr && "Used insn before defined"); 144 unsigned Opcode = State.MIs[InsnID]->getOpcode(); 163 assert(State.MIs[InsnID] != nullptr && "Used insn before defined"); 164 const int64_t Opcode = State 49 executeMatchTable( TgtInstructionSelector &ISel, NewMIVector &OutMIs, MatcherState &State, const ISelInfoTy<PredicateBitset, ComplexMatcherMemFn, CustomRendererFn> &ISelInfo, const int64_t *MatchTable, const TargetInstrInfo &TII, MachineRegisterInfo &MRI, const TargetRegisterInfo &TRI, const RegisterBankInfo &RBI, const PredicateBitset &AvailableFeatures, CodeGenCoverage &CoverageInfo) const argument [all...] |
/freebsd-12-stable/contrib/llvm-project/llvm/include/llvm/DebugInfo/PDB/Native/ |
H A D | TpiHashing.h | 24 State = 0; 30 State = 1; 36 State = 2; 43 switch (State) { 61 uint8_t State = 0; member in struct:llvm::pdb::TagRecordHash
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/Format/ |
H A D | ContinuationIndenter.h | 70 /// Returns \c true, if a line break after \p State is allowed. 71 bool canBreak(const LineState &State); 73 /// Returns \c true, if a line break after \p State is mandatory. 74 bool mustBreak(const LineState &State); 76 /// Appends the next token to \p State and updates information 84 unsigned addTokenToState(LineState &State, bool Newline, bool DryRun, 89 unsigned getColumnLimit(const LineState &State) const; 92 /// Mark the next token as consumed in \p State and modify its stacks 94 unsigned moveStateToNextToken(LineState &State, bool DryRun, bool Newline); 96 /// Update 'State' accordin [all...] |