Home
last modified time | relevance | path

Searched refs:Env (Results 1 – 25 of 93) sorted by relevance

1234

/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTransfer.cpp124 : StmtToEnv(StmtToEnv), Env(Env) {} in TransferVisitor()
156 Env.setValue(*S, Env.makeAnd(LHSVal, RHSVal)); in VisitBinaryOperator()
158 Env.setValue(*S, Env.makeOr(LHSVal, RHSVal)); in VisitBinaryOperator()
221 Env.setStorageLocation(D, Env.createObject(D)); in ProcessVarDecl()
276 Env.setValue(*S, Env.makeAtomicBoolValue()); in VisitImplicitCastExpr()
324 Env.setValue(*S, Env.create<PointerValue>(*PointeeLoc)); in VisitImplicitCastExpr()
357 Env.setValue(*S, Env.create<PointerValue>(*PointeeLoc)); in VisitUnaryOperator()
365 Env.setValue(*S, Env.makeNot(*SubExprVal)); in VisitUnaryOperator()
733 Env.setValue(*S, Env.getBoolLiteralValue(S->getValue())); in VisitCXXBoolLiteralExpr()
737 Env.setValue(*S, Env.getIntLiteralValue(S->getValue())); in VisitIntegerLiteral()
[all …]
H A DTypeErasedDataflowAnalysis.cpp79 : Env(Env), BlockSuccIdx(BlockSuccIdx) {} in TerminatorVisitor()
139 Val = &Env.makeNot(*Val); in extendFlowCondition()
143 Env.assume(Val->formula()); in extendFlowCondition()
147 Environment &Env; member in clang::dataflow::__anonbea4f3b00211::TerminatorVisitor
231 Environment::join(L.Env, R.Env, AC.Analysis)}; in join()
256 Environment::join(All[0]->Env, All[0]->Env, AC.Analysis)}; in take()
354 InputState.Env); in builtinTransferStatement()
364 auto &Env = InputState.Env; in builtinTransferInitializer() local
504 State.Env.setValue(*TerminatorCond, State.Env.makeAtomicBoolValue()); in transferCFGBlock()
578 NewBlockState.Env.widen(OldBlockState->Env, Analysis); in runTypeErasedDataflowAnalysis()
[all …]
H A DRecordOps.cpp18 RecordStorageLocation &Dst, Environment &Env) { in copyRecord() argument
46 cast<RecordStorageLocation>(*DstFieldLoc), Env); in copyRecord()
50 if (Value *Val = Env.getValue(*SrcFieldLoc)) in copyRecord()
51 Env.setValue(*DstFieldLoc, *Val); in copyRecord()
53 Env.clearValue(*DstFieldLoc); in copyRecord()
60 cast<RecordStorageLocation>(Dst.getSyntheticField(Name)), Env); in copyRecord()
62 if (Value *Val = Env.getValue(*SynthFieldLoc)) in copyRecord()
63 Env.setValue(Dst.getSyntheticField(Name), *Val); in copyRecord()
65 Env.clearValue(Dst.getSyntheticField(Name)); in copyRecord()
69 RecordValue *DstVal = &Env.create<RecordValue>(Dst); in copyRecord()
[all …]
H A DDataflowEnvironment.cpp487 Environment Env(*this); in pushCall() local
492 Env.ThisPointeeLoc = in pushCall()
502 return Env; in pushCall()
506 Environment Env(*this); in pushCall() local
508 Env.ThisPointeeLoc = &Env.getResultObjectLocation(*Call); in pushCall()
513 return Env; in pushCall()
1080 Env.setValue(Loc, NewVal); in refreshRecordValue()
1090 Env.setValue(Expr, NewVal); in refreshRecordValue()
1091 Env.setValue(NewVal.getLoc(), NewVal); in refreshRecordValue()
1096 Env.setValue(Expr, NewVal); in refreshRecordValue()
[all …]
H A DHTMLLogger.cpp86 ModelDumper(llvm::json::OStream &JOS, const Environment &Env) in ModelDumper() argument
87 : JOS(JOS), Env(Env) {} in ModelDumper()
117 JOS.attribute("truth", Env.proves(B->formula()) ? "true" in dump()
118 : Env.proves(Env.arena().makeNot(B->formula())) in dump()
129 if (auto *V = Env.getValue(L)) in dump()
136 if (Value *Val = Env.getValue(*Child.second)) in dump()
148 const Environment &Env; member in clang::dataflow::__anon475589f90111::ModelDumper
276 if (auto *V = State.Env.getValue(*E)) in recordState()
278 "value", [&] { ModelDumper(*JOS, State.Env).dump(*V); }); in recordState()
280 if (auto *Loc = State.Env.getStorageLocation(*E)) in recordState()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp325 State.Env.setValue( in transferArrowOpCall()
332 State.Env.setValue( in transferMakeOptionalCall()
341 State.Env, getImplicitObjectLocation(*CallExpr, State.Env))) { in transferOptionalHasValueCall()
353 auto &Env = State.Env; in transferValueOrImpl() local
359 getHasValue(State.Env, getImplicitObjectLocation(*MCE, State.Env)); in transferValueOrImpl()
363 Env.assume(ModelPred(Env, forceBoolValue(Env, *ValueOrPredExpr), in transferValueOrImpl()
425 Env.setValue(E, createOptionalValue(Loc, HasValueVal, Env)); in constructOptionalValue()
505 createOptionalValue(*Loc2, Env.makeAtomicBoolValue(), Env); in transferSwap()
509 createOptionalValue(*Loc1, Env.makeAtomicBoolValue(), Env); in transferSwap()
580 Environment &Env = State.Env; in transferOptionalAndOptionalCmp() local
[all …]
H A DChromiumCheckModel.cpp53 bool ChromiumCheckModel::transfer(const CFGElement &Element, Environment &Env) { in transfer() argument
62 Env.assume(Env.arena().makeLiteral(false)); in transfer()
/freebsd-14.2/contrib/llvm-project/compiler-rt/lib/fuzzer/
H A DFuzzerFork.cpp317 GlobalEnv Env; in FuzzWithFork() local
318 Env.Args = Args; in FuzzWithFork()
320 Env.Rand = &Rand; in FuzzWithFork()
331 Env.DFTDir = DirPlusFile(Env.TempDir, "DFT"); in FuzzWithFork()
334 MkDir(Env.DFTDir); in FuzzWithFork()
338 MkDir(Env.MainCorpusDir = DirPlusFile(Env.TempDir, "C")); in FuzzWithFork()
348 CrashResistantMerge(Env.Args, {}, SeedFiles, &Env.Files, Env.Features, in FuzzWithFork()
356 if (Env.Group) { in FuzzWithFork()
362 Env.Files.size(), Env.TempDir.c_str()); in FuzzWithFork()
411 CrashResistantMerge(Env.Args, {}, CurrentSeedFiles, &Env.Files, in FuzzWithFork()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/Format/
H A DTokenAnalyzer.cpp62 auto Env = std::make_unique<Environment>(Code, FileName, FirstStartColumn, in make() local
65 Env->SM.getDiagnostics().setClient(&Diags, /*ShouldOwnClient=*/false); in make()
66 SourceLocation StartOfFile = Env->SM.getLocForStartOfFile(Env->ID); in make()
70 Env->CharRanges.push_back(CharSourceRange::getCharRange(Start, End)); in make()
73 Env->SM.getBufferData(Env->ID); in make()
76 return Env; in make()
87 : Style(Style), Env(Env), in TokenAnalyzer()
88 AffectedRangeMgr(Env.getSourceManager(), Env.getCharRanges()), in TokenAnalyzer()
91 Env.getSourceManager().getBufferData(Env.getFileID()))) { in TokenAnalyzer()
105 FormatTokenLexer Lex(Env.getSourceManager(), Env.getFileID(), in process()
[all …]
H A DFormat.cpp2102 : TokenAnalyzer(Env, Style) {} in ParensRemover()
2146 : TokenAnalyzer(Env, Style) {} in BracesInserter()
2407 Env.getSourceManager().getBufferData(Env.getFileID()), in analyze()
2592 : TokenAnalyzer(Env, Style), in Cleaner()
3613 if (!Env) in reformat()
3629 if (!Env) in reformat()
3734 Env = Environment::make( in reformat()
3738 if (!Env) in reformat()
3784 if (!Env) in cleanup()
3804 if (!Env) in fixNamespaceEndComments()
[all …]
H A DSortJavaScriptImports.cpp136 JavaScriptImportSorter(const Environment &Env, const FormatStyle &Style) in JavaScriptImportSorter() argument
137 : TokenAnalyzer(Env, Style), in JavaScriptImportSorter()
138 FileContents(Env.getSourceManager().getBufferData(Env.getFileID())) { in JavaScriptImportSorter()
207 Env.getSourceManager(), CharSourceRange::getCharRange(InsertionPoint), in analyze()
250 const SourceManager &SM = Env.getSourceManager(); in getSourceText()
596 auto Env = Environment::make(Code, FileName, Ranges); in sortJavaScriptImports() local
597 if (!Env) in sortJavaScriptImports()
599 return JavaScriptImportSorter(*Env, Style).process().first; in sortJavaScriptImports()
H A DDefinitionBlockSeparator.h26 DefinitionBlockSeparator(const Environment &Env, const FormatStyle &Style) in DefinitionBlockSeparator() argument
27 : TokenAnalyzer(Env, Style) {} in DefinitionBlockSeparator()
H A DIntegerLiteralSeparatorFixer.cpp45 IntegerLiteralSeparatorFixer::process(const Environment &Env, in process() argument
78 const auto &SourceMgr = Env.getSourceManager(); in process()
79 AffectedRangeManager AffectedRangeMgr(SourceMgr, Env.getCharRanges()); in process()
81 const auto ID = Env.getFileID(); in process()
/freebsd-14.2/contrib/llvm-project/lldb/source/Utility/
H A DEnvironment.cpp28 Environment::Envp::Envp(const Environment &Env) { in Envp() argument
30 Allocator.Allocate(sizeof(char *) * (Env.size() + 1), alignof(char *))); in Envp()
32 for (const auto &KV : Env) in Envp()
37 Environment::Environment(const char *const *Env) { in Environment() argument
38 if (!Env) in Environment()
40 while (*Env) in Environment()
41 insert(*Env++); in Environment()
/freebsd-14.2/contrib/llvm-project/llvm/include/llvm/TargetParser/
H A DTriple.h581 return Env == Triple::GNU || Env == Triple::GNUABIN32 || in isGNUEnvironment()
582 Env == Triple::GNUABI64 || Env == Triple::GNUEABI || in isGNUEnvironment()
583 Env == Triple::GNUEABIHF || Env == Triple::GNUF32 || in isGNUEnvironment()
584 Env == Triple::GNUF64 || Env == Triple::GNUSF || in isGNUEnvironment()
788 return Env == Triple::Pixel || Env == Triple::Vertex || in isShaderStageEnvironment()
789 Env == Triple::Geometry || Env == Triple::Hull || in isShaderStageEnvironment()
790 Env == Triple::Domain || Env == Triple::Compute || in isShaderStageEnvironment()
792 Env == Triple::Intersection || Env == Triple::AnyHit || in isShaderStageEnvironment()
793 Env == Triple::ClosestHit || Env == Triple::Miss || in isShaderStageEnvironment()
794 Env == Triple::Callable || Env == Triple::Mesh || in isShaderStageEnvironment()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DMatchSwitch.h42 TransferState(LatticeT &Lattice, Environment &Env) in TransferState()
43 : Lattice(Lattice), Env(Env) {} in TransferState()
47 Environment &Env; member
56 TransferStateForDiagnostics(const LatticeT &Lattice, const Environment &Env) in TransferStateForDiagnostics()
57 : Lattice(Lattice), Env(Env) {} in TransferStateForDiagnostics()
61 const Environment &Env; member
H A DDataflowAnalysis.h122 Environment &Env) final { in transferTypeErased() argument
124 static_cast<Derived *>(this)->transfer(Element, L, Env); in transferTypeErased()
128 TypeErasedLattice &E, Environment &Env) final { in transferBranchTypeErased() argument
130 E, Env); in transferBranchTypeErased()
159 Environment &Env)
161 Branch, Stmt, std::declval<LatticeT &>(), Env))> {
162 A.transferBranch(Branch, Stmt, llvm::any_cast<Lattice &>(L.Value), Env);
179 Environment Env; member
H A DRecordOps.h36 Environment &Env);
61 const Environment &Env) { in recordsEqual() argument
62 return recordsEqual(Loc1, Env, Loc2, Env); in recordsEqual()
H A DTypeErasedDataflowAnalysis.h125 Environment Env; member
127 TypeErasedDataflowAnalysisState(TypeErasedLattice Lattice, Environment Env) in TypeErasedDataflowAnalysisState()
128 : Lattice(std::move(Lattice)), Env(std::move(Env)) {} in TypeErasedDataflowAnalysisState()
131 return TypeErasedDataflowAnalysisState(Lattice, Env.fork()); in fork()
/freebsd-14.2/contrib/llvm-project/lldb/include/lldb/Utility/
H A DEnvironment.h31 explicit Envp(const Environment &Env);
62 Environment(char *const *Env) in Environment() argument
63 : Environment(const_cast<const char *const *>(Env)) {} in Environment()
64 Environment(const char *const *Env);
89 static void format(const lldb_private::Environment &Env, raw_ostream &Stream,
91 for (const auto &KV : Env)
/freebsd-14.2/contrib/llvm-project/llvm/lib/Support/
H A DProgram.cpp27 std::optional<ArrayRef<StringRef>> Env,
33 std::optional<ArrayRef<StringRef>> Env, in ExecuteAndWait() argument
41 if (Execute(PI, Program, Args, Env, Redirects, MemoryLimit, ErrMsg, in ExecuteAndWait()
58 std::optional<ArrayRef<StringRef>> Env, in ExecuteNoWait() argument
66 if (!Execute(PI, Program, Args, Env, Redirects, MemoryLimit, ErrMsg, in ExecuteNoWait()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DEnvironment.cpp138 Environment EnvironmentManager::bindExpr(Environment Env, in bindExpr() argument
144 return Environment(F.remove(Env.ExprBindings, E)); in bindExpr()
146 return Env; in bindExpr()
148 return Environment(F.add(Env.ExprBindings, E, V)); in bindExpr()
180 EnvironmentManager::removeDeadBindings(Environment Env, in removeDeadBindings() argument
196 for (Environment::iterator I = Env.begin(), End = Env.end(); I != End; ++I) { in removeDeadBindings()
H A DProgramState.cpp50 Env(env), in ProgramState()
58 : stateMgr(RHS.stateMgr), Env(RHS.Env), store(RHS.store), GDM(RHS.GDM), in ProgramState()
103 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindingsFromEnvironmentAndStore()
305 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V, in BindExpr()
307 if (NewEnv == Env) in BindExpr()
311 NewSt.Env = NewEnv; in BindExpr()
470 Env.printJson(Out, Mgr.getContext(), LCtx, NL, Space, IsDot); in printJson()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.h48 UncheckedOptionalAccessModel(ASTContext &Ctx, dataflow::Environment &Env);
55 void transfer(const CFGElement &Elt, NoopLattice &L, Environment &Env);
69 return DiagnoseMatchSwitch(Elt, Ctx, State.Env); in operator()
/freebsd-14.2/contrib/llvm-project/llvm/lib/DebugInfo/PDB/
H A DPDBSymbolCompiland.cpp49 while (auto Env = Envs->getNext()) { in getSourceFileFullPath() local
50 std::string Var = Env->getName(); in getSourceFileFullPath()
52 EnvWorkingDir = Env->getValue(); in getSourceFileFullPath()
56 EnvSrc = Env->getValue(); in getSourceFileFullPath()

1234