| /freebsd-12.1/contrib/llvm/lib/XRay/ |
| H A D | BlockVerifier.cpp | 68 {State::BufferExtents, {mask(State::NewBuffer)}}, in transition() 70 {State::NewBuffer, {mask(State::WallClockTime)}}, in transition() 73 {mask(State::PIDEntry) | mask(State::NewCPUId)}}, in transition() 75 {State::PIDEntry, {mask(State::NewCPUId)}}, in transition() 78 {mask(State::NewCPUId) | mask(State::TSCWrap) | in transition() 83 {mask(State::TSCWrap) | mask(State::NewCPUId) | in transition() 89 mask(State::NewCPUId) | mask(State::Function) | in transition() 98 {mask(State::Function) | mask(State::TSCWrap) | in transition() 104 {mask(State::CallArg) | mask(State::Function) | in transition() 105 mask(State::TSCWrap) | mask(State::NewCPUId) | in transition() [all …]
|
| H A D | BlockPrinter.cpp | 16 CurrentState = State::Preamble; in visit() 22 if (CurrentState == State::Start) in visit() 26 CurrentState = State::Preamble; in visit() 31 CurrentState = State::Preamble; in visit() 36 CurrentState = State::Preamble; in visit() 46 CurrentState = State::Metadata; in visit() 55 CurrentState = State::Metadata; in visit() 65 CurrentState = State::CustomEvent; in visit() 93 CurrentState = State::Function; in visit() 100 CurrentState = State::Arg; in visit() [all …]
|
| /freebsd-12.1/sys/contrib/dev/acpica/components/utilities/ |
| H A D | utstate.c | 213 if (State) in AcpiUtPopGenericState() 220 return (State); in AcpiUtPopGenericState() 248 if (State) in AcpiUtCreateGenericState() 254 return (State); in AcpiUtCreateGenericState() 284 if (!State) in AcpiUtCreateThreadState() 335 if (!State) in AcpiUtCreateUpdateState() 345 return (State); in AcpiUtCreateUpdateState() 377 if (!State) in AcpiUtCreatePkgState() 420 if (!State) in AcpiUtCreateControlState() 428 State->Common.State = ACPI_CONTROL_CONDITIONAL_EXECUTING; in AcpiUtCreateControlState() [all …]
|
| H A D | utmisc.c | 332 ACPI_GENERIC_STATE *State; in AcpiUtCreateUpdateStateAndPush() local 346 if (!State) in AcpiUtCreateUpdateStateAndPush() 380 ACPI_GENERIC_STATE *State; in AcpiUtWalkPackageTree() local 389 if (!State) in AcpiUtWalkPackageTree() 394 while (State) in AcpiUtWalkPackageTree() 401 State->Pkg.ThisTargetObj = in AcpiUtWalkPackageTree() 418 State, Context); in AcpiUtWalkPackageTree() 424 State->Pkg.Index++; in AcpiUtWalkPackageTree() 440 if (!State) in AcpiUtWalkPackageTree() 454 State->Pkg.Index++; in AcpiUtWalkPackageTree() [all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorChecker.cpp | 748 State = setIteratorPosition(State, Loc, *Pos); in checkBind() 753 State = removeIteratorPosition(State, Loc); in checkBind() 1037 State = in handleRandomIncrOrDecr() 1144 State = assumeNoOverflow(State, BeginSym, 4); in handleBegin() 1147 State = setIteratorPosition(State, RetVal, in handleBegin() 1168 State = assumeNoOverflow(State, EndSym, 4); in handleEnd() 1171 State = setIteratorPosition(State, RetVal, in handleEnd() 1185 State = assumeNoOverflow(State, Sym, 4); in assignToContainer() 1186 State = setIteratorPosition(State, RetVal, in assignToContainer() 1232 State = setContainerData(State, ContReg, in handleAssign() [all …]
|
| H A D | TrustNonnullChecker.cpp | 75 State = addImplication(Antecedent, State, true); in evalAssume() 76 State = addImplication(Antecedent, State, false); in evalAssume() 79 return State; in evalAssume() 91 State = State->assume(*L, /*Assumption=*/true); in checkPostCall() 110 State = State->assume(*L, /*Assumption=*/true); in checkPostObjCMessage() 123 State = State->set<NonNullImplicationMap>(RetS, ArgS); in checkPostObjCMessage() 127 State = State->set<NullImplicationMap>(ArgS, RetS); in checkPostObjCMessage() 152 State = State->remove<MapName>(P.first); in dropDeadFromGDM() 153 return State; in dropDeadFromGDM() 239 State = State->remove<NullImplicationMap>(*Consequent); in addImplication() [all …]
|
| H A D | NullabilityChecker.cpp | 462 State = State->remove<NullabilityMap>(I->first); in checkDeadSymbols() 602 State = State->set<InvariantViolated>(true); in checkPreStmt() 634 State = State->set<NullabilityMap>(Region, in checkPreStmt() 737 State = State->set<NullabilityMap>( in checkPreCall() 851 State = in checkPostObjCMessage() 902 State = State->set<NullabilityMap>( in checkPostObjCMessage() 924 State = State->set<NullabilityMap>( in checkPostObjCMessage() 975 State = State->set<NullabilityMap>(Region, in checkPostStmt() 1122 State = State->set<InvariantViolated>(true); in checkBind() 1159 State = State->set<NullabilityMap>( in checkBind() [all …]
|
| H A D | InnerPointerChecker.cpp | 143 State = allocation_state::markReleased(State, Symbol, Origin); in markPtrSymbolsReleased() 145 State = State->remove<RawPtrMap>(MR); in markPtrSymbolsReleased() 146 C.addTransition(State); in markPtrSymbolsReleased() 197 ProgramStateRef State = C.getState(); in checkPostCall() local 218 State = State->set<RawPtrMap>(ObjRegion, Set); in checkPostCall() 219 C.addTransition(State); in checkPostCall() 232 checkFunctionArguments(Call, State, C); in checkPostCall() 237 ProgramStateRef State = C.getState(); in checkDeadSymbols() local 244 State = State->remove<RawPtrMap>(Entry.first); in checkDeadSymbols() 252 State = CleanedUpSet.isEmpty() in checkDeadSymbols() [all …]
|
| H A D | GenericTaintChecker.cpp | 311 if (!State) in addSourcesPre() 324 if (!State) in addSourcesPre() 347 State = State->addTaint(CE, C.getLocationContext()); in propagateFromPre() 358 State = State->addTaint(*V); in propagateFromPre() 362 State = State->remove<TaintArgsOnPostVisit>(); in propagateFromPre() 402 if (!State) in addSourcesPost() 505 State = State->add<TaintArgsOnPostVisit>(i); in process() 518 State = State->add<TaintArgsOnPostVisit>(ArgNum); in process() 536 State = State->add<TaintArgsOnPostVisit>(i); in preFscanf() 556 State = State->addTaint(CE, C.getLocationContext()); in postSocket() [all …]
|
| H A D | GTestChecker.cpp | 135 ProgramStateRef State = C.getState(); in modelAssertionResultBoolConstructor() local 149 State = assumeValuesEqual(ThisSuccess, BooleanArgVal, State, C); in modelAssertionResultBoolConstructor() 150 C.addTransition(State); in modelAssertionResultBoolConstructor() 170 ProgramStateRef State = C.getState(); in modelAssertionResultCopyConstructor() local 177 State = assumeValuesEqual(ThisSuccess, OtherSuccess, State, C); in modelAssertionResultCopyConstructor() 178 C.addTransition(State); in modelAssertionResultCopyConstructor() 252 ProgramStateRef State) const { in getAssertionResultSuccessFieldValue() 267 return State->getSVal(*FieldLoc); in getAssertionResultSuccessFieldValue() 276 return State; in assumeValuesEqual() 283 return State; in assumeValuesEqual() [all …]
|
| H A D | MoveChecker.cpp | 230 return State; in REGISTER_MAP_WITH_PROGRAMSTATE() 233 State = State->remove<TrackedRegionMap>(E.first); in REGISTER_MAP_WITH_PROGRAMSTATE() 235 return State; in REGISTER_MAP_WITH_PROGRAMSTATE() 369 State = State->set<TrackedRegionMap>(Region, RegionState::getReported()); in modelUse() 593 State = removeFromState(State, CC->getCXXThisVal().getAsRegion()); in checkPreCall() 627 State = removeFromState(State, ThisRegion); in checkPreCall() 644 State = removeFromState(State, ThisRegion); in checkPreCall() 677 State = State->remove<TrackedRegionMap>(Region); in checkDeadSymbols() 705 State = removeFromState(State, Region); in checkRegionChanges() 713 State = removeFromState(State, Region->getBaseRegion()); in checkRegionChanges() [all …]
|
| H A D | MacOSKeychainAPIChecker.cpp | 227 State = State->remove<AllocatedData>(AP.first); in generateDeallocatorMismatchReport() 272 State = State->remove<AllocatedData>(V); in checkPreStmt() 376 State = State->remove<AllocatedData>(ArgSM); in checkPreStmt() 386 State = State->remove<AllocatedData>(ArgSM); in checkPreStmt() 507 return State; in evalAssume() 532 State = State->remove<AllocatedData>(I->first); in evalAssume() 535 return State; in evalAssume() 552 State = State->remove<AllocatedData>(I->first); in checkDeadSymbols() 590 State = State->remove<AllocatedData>(Sym); in checkPointerEscape() 611 State = State->remove<AllocatedData>(Sym); in checkPointerEscape() [all …]
|
| H A D | MallocChecker.cpp | 869 State = ReallocMemAux(C, CE, false, State); in checkPostStmt() 872 State = ReallocMemAux(C, CE, true, State); in checkPostStmt() 875 State = CallocMem(C, CE, State); in checkPostStmt() 882 State = MallocUpdateRefState(C, CE, State); in checkPostStmt() 884 State = MallocUpdateRefState(C, CE, State); in checkPostStmt() 963 State = FreeMemAttr(C, CE, I, State); in checkPostStmt() 1090 State = addExtentSize(C, NE, State, Target); in processNewAllocation() 1148 State = State->assume(extentMatchesSize, true); in addExtentSize() 1281 State = State->assume(extentMatchesSize, true); in MallocMemAux() 1611 State = State->remove<FreeReturnValue>(SymBase); in FreeMemAux() [all …]
|
| H A D | SimpleStreamChecker.cpp | 132 ProgramStateRef State = C.getState(); in checkPostCall() local 133 State = State->set<StreamMap>(FileDesc, StreamState::getOpened()); in checkPostCall() 134 C.addTransition(State); in checkPostCall() 151 ProgramStateRef State = C.getState(); in checkPreCall() local 159 State = State->set<StreamMap>(FileDesc, StreamState::getClosed()); in checkPreCall() 160 C.addTransition(State); in checkPreCall() 177 ProgramStateRef State = C.getState(); in checkDeadSymbols() local 191 State = State->remove<StreamMap>(Sym); in checkDeadSymbols() 254 return State; in checkPointerEscape() 264 State = State->remove<StreamMap>(Sym); in checkPointerEscape() [all …]
|
| H A D | BasicObjCFoundationChecks.cpp | 858 if (!State) in checkCollectionNonNil() 883 if (!State) in checkElementNonNil() 948 if (!State) in assumeCollectionNonEmpty() 988 State = checkCollectionNonNil(C, State, FCS); in checkPostStmt() 989 State = checkElementNonNil(C, State, FCS); in checkPostStmt() 993 if (!State) in checkPostStmt() 1113 State = State->remove<ContainerCountMap>(Sym); in checkPointerEscape() 1114 State = State->remove<ContainerNonEmptyMap>(Sym); in checkPointerEscape() 1116 return State; in checkPointerEscape() 1129 State = State->remove<ContainerCountMap>(Sym); in checkDeadSymbols() [all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/Format/ |
| H A D | ContinuationIndenter.cpp | 101 if (State && State->BreakBeforeClosingBrace) in getLengthToMatchingParen() 611 State.Column > getNewLineColumn(State) && in addTokenOnCurrentLine() 634 State.Column > getNewLineColumn(State)) in addTokenOnCurrentLine() 684 State.Stack.back().LastSpace = State.Column; in addTokenOnCurrentLine() 690 State.Stack.back().LastSpace = State.Column; in addTokenOnCurrentLine() 694 State.Stack.back().Indent = State.Column; in addTokenOnCurrentLine() 708 State.Stack.back().Indent = State.Column; in addTokenOnCurrentLine() 757 State.Column = getNewLineColumn(State); in addTokenOnNewLine() 1164 State.StartOfStringLiteral = State.Column; in moveStateToNextToken() 1170 State.NextToken = State.NextToken->Next; in moveStateToNextToken() [all …]
|
| /freebsd-12.1/contrib/llvm/lib/Target/ARM/ |
| H A D | ARMCallingConv.h | 34 if (unsigned Reg = State.AllocateReg(RegList)) in f64AssignAPCS() 49 if (unsigned Reg = State.AllocateReg(RegList)) in f64AssignAPCS() 61 CCState &State) { in CC_ARM_APCS_Custom_f64() argument 83 Reg = State.AllocateReg(GPRArgRegs); in f64AssignAAPCS() 102 unsigned T = State.AllocateReg(LoRegList[i]); in f64AssignAAPCS() 160 State); in RetCC_ARM_AAPCS_Custom_f64() 216 State.AllocateReg(RegList[RegIdx++]); in CC_ARM_AAPCS_Custom_Aggregate() 242 State.addLoc(*It); in CC_ARM_AAPCS_Custom_Aggregate() 261 State.addLoc(It); in CC_ARM_AAPCS_Custom_Aggregate() 270 State.AllocateReg(Reg); in CC_ARM_AAPCS_Custom_Aggregate() [all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCXX.cpp | 91 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy() 93 State = bindReturnValue(Call, LCtx, State); in performTrivialCopy() 133 State = in prepareForObjectConstruction() 257 State = elideDestructor(State, BTE, LCtx); in prepareForObjectConstruction() 404 State = finishObjectConstruction(State, CE, LCtx); in VisitCXXConstructExpr() 406 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in VisitCXXConstructExpr() 524 State = State->bindDefaultZero(Target, LCtx); in VisitCXXConstructExpr() 726 State = finishObjectConstruction(State, CNE, LCtx); in VisitCXXNewExpr() 764 State = State->assume(*dSymVal, true); in VisitCXXNewExpr() 799 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr() [all …]
|
| H A D | SimpleConstraintManager.cpp | 31 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in assume() 42 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assume() 47 State = assumeAux(State, Cond, Assumption); in assume() 49 return SU->processAssume(State, Cond, Assumption); in assume() 50 return State; in assume() 63 return assumeSymUnsupported(State, Sym, Assumption); in assumeAux() 74 return assumeSym(State, Sym, Assumption); in assumeAux() 80 return isFeasible ? State : nullptr; in assumeAux() 86 return IsFeasible ? State : nullptr; in assumeAux() 119 return State; in assumeInclusiveRange() [all …]
|
| /freebsd-12.1/contrib/llvm/include/llvm/CodeGen/GlobalISel/ |
| H A D | InstructionSelectorImpl.h | 111 if ((size_t)NewInsnID < State.MIs.size()) in executeMatchTable() 112 State.MIs[NewInsnID] = NewMI; in executeMatchTable() 116 State.MIs.push_back(NewMI); in executeMatchTable() 328 if (!State.MIs[InsnID]->hasOneMemOperand()) in executeMatchTable() 346 if (!State.MIs[InsnID]->hasOneMemOperand()) in executeMatchTable() 364 if (!State.MIs[InsnID]->hasOneMemOperand()) in executeMatchTable() 622 if (!isObviouslySafeToFold(*State.MIs[InsnID], *State.MIs[0])) { in executeMatchTable() 676 OutMIs[NewInsnID] = BuildMI(*State.MIs[0]->getParent(), State.MIs[0], in executeMatchTable() 907 assert(State.MIs[InsnID] && in executeMatchTable() 909 State.MIs[InsnID]->eraseFromParent(); in executeMatchTable() [all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 40 ProgramStateRef State = Ctx.getState(); in checkDoubleNonblocking() local 52 State = State->set<RequestMap>(MR, Request::State::Nonblocking); in checkDoubleNonblocking() 53 Ctx.addTransition(State); in checkDoubleNonblocking() 75 ProgramStateRef State = Ctx.getState(); in checkUnmatchedWaits() local 82 State = State->set<RequestMap>(ReqRegion, Request::State::Wait); in checkUnmatchedWaits() 86 State = ErrorNode->getState(); in checkUnmatchedWaits() 95 Ctx.addTransition(State); in checkUnmatchedWaits() 97 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits() 118 State = ErrorNode->getState(); in checkMissingWaits() 123 State = State->remove<RequestMap>(Req.first); in checkMissingWaits() [all …]
|
| /freebsd-12.1/contrib/llvm/lib/Transforms/Vectorize/ |
| H A D | VPlan.cpp | 164 !(State->Instance->Part == 0 && State->Instance->Lane == 0); in execute() 188 Loop *L = State->LI->getLoopFor(State->CFG.LastBB); in execute() 198 State->CFG.PrevVPBB = this; in execute() 201 Recipe.execute(*State); in execute() 252 Block->execute(State); in execute() 260 State->Instance = {0, 0}; in execute() 275 State->Instance.reset(); in execute() 295 State.set(this, V, Part); in generateInstruction() 303 State.set(this, V, Part); in generateInstruction() 310 State.set(this, V, Part); in generateInstruction() [all …]
|
| /freebsd-12.1/contrib/llvm/include/llvm/DebugInfo/CodeView/ |
| H A D | DebugSubsectionVisitor.h | 51 const StringsAndChecksumsRef &State) = 0; 70 const StringsAndChecksumsRef &State); 75 StringsAndChecksumsRef &State) { in visitDebugSubsections() argument 76 State.initialize(std::forward<T>(FragmentRange)); in visitDebugSubsections() 79 if (auto EC = visitDebugSubsection(L, V, State)) in visitDebugSubsections() 88 StringsAndChecksumsRef State; in visitDebugSubsections() local 90 State); in visitDebugSubsections() 96 StringsAndChecksumsRef State(Strings); in visitDebugSubsections() 98 State); in visitDebugSubsections() 105 StringsAndChecksumsRef State(Strings, Checksums); in visitDebugSubsections() [all …]
|
| /freebsd-12.1/contrib/llvm/lib/Target/X86/ |
| H A D | X86CallingConv.cpp | 35 if (!State.isAllocated(Reg)) in CC_X86_32_RegCall_Assign2Regs() 47 unsigned Reg = State.AllocateReg(AvailableRegs[I]); in CC_X86_32_RegCall_Assign2Regs() 88 CCState &State) { in CC_X86_VectorCallAssignRegister() argument 97 if (!State.isAllocated(Reg)) { in CC_X86_VectorCallAssignRegister() 98 unsigned AssigedReg = State.AllocateReg(Reg); in CC_X86_VectorCallAssignRegister() 100 State.addLoc( in CC_X86_VectorCallAssignRegister() 105 if (Is64bit && State.IsShadowAllocatedReg(Reg)) { in CC_X86_VectorCallAssignRegister() 123 ArgFlags, State); in CC_X86_64_VectorCall() 135 if (State.isAllocated(X86::R9)) { in CC_X86_64_VectorCall() 145 (void)State.AllocateReg(CC_X86_64_VectorCallGetGPRs()); in CC_X86_64_VectorCall() [all …]
|
| /freebsd-12.1/sys/contrib/dev/acpica/components/dispatcher/ |
| H A D | dswstate.c | 191 ACPI_GENERIC_STATE *State; in AcpiDsResultPop() local 198 State = WalkState->Results; in AcpiDsResultPop() 216 if (!State) in AcpiDsResultPop() 272 ACPI_GENERIC_STATE *State; in AcpiDsResultPush() local 303 State = WalkState->Results; in AcpiDsResultPush() 304 if (!State) in AcpiDsResultPush() 348 ACPI_GENERIC_STATE *State; in AcpiDsResultStackPush() local 365 if (!State) in AcpiDsResultStackPush() 378 State, WalkState)); in AcpiDsResultStackPush() 400 ACPI_GENERIC_STATE *State; in AcpiDsResultStackPop() local [all …]
|