Home
last modified time | relevance | path

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

1234

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTransfer.cpp50 return &CurState.Env; in getEnvironment()
54 return &State->Env; in getEnvironment()
58 Environment &Env) { in evaluateBooleanEquality() argument
59 Value *LHSValue = Env.getValue(LHS); in evaluateBooleanEquality()
60 Value *RHSValue = Env.getValue(RHS); in evaluateBooleanEquality()
65 return Env.getBoolLiteralValue(true); in evaluateBooleanEquality()
70 return Env.getBoolLiteralValue(true); in evaluateBooleanEquality()
74 return Env.makeIff(*LHSBool, *RHSBool); in evaluateBooleanEquality()
82 return Env.getBoolLiteralValue(true); in evaluateBooleanEquality()
84 return Env.makeAtomicBoolValue(); in evaluateBooleanEquality()
[all …]
H A DRecordOps.cpp21 Environment &Env) { in copyField() argument
27 cast<RecordStorageLocation>(*DstFieldLoc), Env); in copyField()
31 if (Value *Val = Env.getValue(*SrcFieldLoc)) in copyField()
32 Env.setValue(*DstFieldLoc, *Val); in copyField()
34 Env.clearValue(*DstFieldLoc); in copyField()
39 StorageLocation &DstFieldLoc, Environment &Env) { in copySyntheticField() argument
42 cast<RecordStorageLocation>(DstFieldLoc), Env); in copySyntheticField()
44 if (Value *Val = Env.getValue(SrcFieldLoc)) in copySyntheticField()
45 Env.setValue(DstFieldLoc, *Val); in copySyntheticField()
47 Env.clearValue(DstFieldLoc); in copySyntheticField()
[all …]
H A DTypeErasedDataflowAnalysis.cpp182 Environment::join(L.Env, R.Env, AC.Analysis, JoinBehavior)}; in join()
208 return {All[0]->Lattice, Environment::join(All[0]->Env, All[0]->Env, in take()
309 auto *CondVal = Copy.Env.get<BoolValue>(*Cond); in computeBlockInputState()
316 BranchVal ? CondVal : &Copy.Env.makeNot(*CondVal); in computeBlockInputState()
317 Copy.Env.assume(AssertedVal->formula()); in computeBlockInputState()
320 Copy.Env); in computeBlockInputState()
334 InputState.Env, AC.Analysis); in builtinTransferStatement()
344 auto &Env = InputState.Env; in builtinTransferInitializer() local
345 auto &ThisLoc = *Env.getThisPointeeStorageLocation(); in builtinTransferInitializer()
380 auto *InitExprLoc = Env.getStorageLocation(*InitExpr); in builtinTransferInitializer()
[all …]
H A DHTMLLogger.cpp86 ModelDumper(llvm::json::OStream &JOS, const Environment &Env) in ModelDumper() argument
87 : JOS(JOS), Env(Env) {} in ModelDumper()
116 JOS.attribute("truth", Env.proves(B->formula()) ? "true" in dump()
117 : Env.proves(Env.arena().makeNot(B->formula())) in dump()
129 if (auto *V = Env.getValue(L)) in dump()
147 const Environment &Env; member in clang::dataflow::__anon109acdc30111::ModelDumper
284 if (auto *V = State.Env.getValue(*E)) in recordState()
286 "value", [&] { ModelDumper(JOS, State.Env).dump(*V); }); in recordState()
288 if (auto *Loc = State.Env.getStorageLocation(*E)) in recordState()
290 "value", [&] { ModelDumper(JOS, State.Env).dump(*Loc); }); in recordState()
[all …]
H A DDataflowEnvironment.cpp604 Environment Env(*this); in pushCall() local
609 Env.ThisPointeeLoc = in pushCall()
617 Env.LocForRecordReturnVal = &Env.getResultObjectLocation(*Call); in pushCall()
619 Env.pushCallInternal(Call->getDirectCallee(), in pushCall()
622 return Env; in pushCall()
626 Environment Env(*this); in pushCall() local
628 Env.ThisPointeeLoc = &Env.getResultObjectLocation(*Call); in pushCall()
629 Env.LocForRecordReturnVal = &Env.getResultObjectLocation(*Call); in pushCall()
631 Env.pushCallInternal(Call->getConstructor(), in pushCall()
634 return Env; in pushCall()
[all …]
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp368 const Formula &forceBoolValue(Environment &Env, const Expr &Expr) { in forceBoolValue() argument
369 auto *Value = Env.get<BoolValue>(Expr); in forceBoolValue()
373 Value = &Env.makeAtomicBoolValue(); in forceBoolValue()
374 Env.setValue(Expr, *Value); in forceBoolValue()
389 Environment &Env) { in setHasValue() argument
390 Env.setValue(locForHasValue(OptionalLoc), HasValueVal); in setHasValue()
395 BoolValue *getHasValue(Environment &Env, RecordStorageLocation *OptionalLoc) { in getHasValue() argument
399 auto *HasValueVal = Env.get<BoolValue>(HasValueLoc); in getHasValue()
401 HasValueVal = &Env.makeAtomicBoolValue(); in getHasValue()
402 Env.setValue(HasValueLoc, *HasValueVal); in getHasValue()
[all …]
H A DChromiumCheckModel.cpp54 bool ChromiumCheckModel::transfer(const CFGElement &Element, Environment &Env) { in transfer() argument
64 Env.assume(Env.arena().makeLiteral(false)); in transfer()
/freebsd/contrib/llvm-project/compiler-rt/lib/fuzzer/
H A DFuzzerFork.cpp317 GlobalEnv Env; in FuzzWithFork() local
318 Env.Args = Args; in FuzzWithFork()
319 Env.CorpusDirs = CorpusDirs; in FuzzWithFork()
320 Env.Rand = &Rand; in FuzzWithFork()
321 Env.Verbosity = Options.Verbosity; in FuzzWithFork()
322 Env.ProcessStartTime = std::chrono::system_clock::now(); in FuzzWithFork()
323 Env.DataFlowBinary = Options.CollectDataFlow; in FuzzWithFork()
324 Env.Group = Options.ForkCorpusGroups; in FuzzWithFork()
330 Env.TempDir = TempPath("FuzzWithFork", ".dir"); in FuzzWithFork()
331 Env.DFTDir = DirPlusFile(Env.TempDir, "DFT"); in FuzzWithFork()
[all …]
/freebsd/contrib/llvm-project/clang/lib/Format/
H A DTokenAnalyzer.cpp59 auto Env = std::make_unique<Environment>(Code, FileName, FirstStartColumn, in make() local
62 Env->SM.getDiagnostics().setClient(&Diags, /*ShouldOwnClient=*/false); in make()
63 SourceLocation StartOfFile = Env->SM.getLocForStartOfFile(Env->ID); in make()
67 Env->CharRanges.push_back(CharSourceRange::getCharRange(Start, End)); in make()
70 Env->SM.getBufferData(Env->ID); in make()
73 return Env; in make()
83 TokenAnalyzer::TokenAnalyzer(const Environment &Env, const FormatStyle &Style) in TokenAnalyzer() argument
84 : Style(Style), LangOpts(getFormattingLangOpts(Style)), Env(Env), in TokenAnalyzer()
85 AffectedRangeMgr(Env.getSourceManager(), Env.getCharRanges()), in TokenAnalyzer()
88 Env.getSourceManager().getBufferData(Env.getFileID()))) { in TokenAnalyzer()
[all …]
H A DFormat.cpp2273 ParensRemover(const Environment &Env, const FormatStyle &Style) in ParensRemover() argument
2274 : TokenAnalyzer(Env, Style) {} in ParensRemover()
2289 const auto &SourceMgr = Env.getSourceManager(); in removeParens()
2306 BracesInserter(const Environment &Env, const FormatStyle &Style) in BracesInserter() argument
2307 : TokenAnalyzer(Env, Style) {} in BracesInserter()
2322 const auto &SourceMgr = Env.getSourceManager(); in insertBraces()
2360 BracesRemover(const Environment &Env, const FormatStyle &Style) in BracesRemover() argument
2361 : TokenAnalyzer(Env, Style) {} in BracesRemover()
2376 const auto &SourceMgr = Env.getSourceManager(); in removeBraces()
2401 SemiRemover(const Environment &Env, const FormatStyle &Style) in SemiRemover() argument
[all …]
H A DSortJavaScriptImports.cpp132 JavaScriptImportSorter(const Environment &Env, const FormatStyle &Style) in JavaScriptImportSorter() argument
133 : TokenAnalyzer(Env, Style), in JavaScriptImportSorter()
134 FileContents(Env.getSourceManager().getBufferData(Env.getFileID())) { in JavaScriptImportSorter()
203 Env.getSourceManager(), CharSourceRange::getCharRange(InsertionPoint), in analyze()
246 const SourceManager &SM = Env.getSourceManager(); in getSourceText()
591 auto Env = Environment::make(Code, FileName, Ranges); in sortJavaScriptImports() local
592 if (!Env) in sortJavaScriptImports()
594 return JavaScriptImportSorter(*Env, Style).process().first; in sortJavaScriptImports()
H A DIntegerLiteralSeparatorFixer.cpp45 IntegerLiteralSeparatorFixer::process(const Environment &Env, in process() argument
81 const auto &SourceMgr = Env.getSourceManager(); in process()
82 AffectedRangeManager AffectedRangeMgr(SourceMgr, Env.getCharRanges()); in process()
84 const auto ID = Env.getFileID(); in process()
/freebsd/contrib/llvm-project/llvm/include/llvm/TargetParser/
H A DTriple.h654 EnvironmentType Env = getEnvironment(); in isGNUEnvironment() local
655 return Env == Triple::GNU || Env == Triple::GNUT64 || in isGNUEnvironment()
656 Env == Triple::GNUABIN32 || Env == Triple::GNUABI64 || in isGNUEnvironment()
657 Env == Triple::GNUEABI || Env == Triple::GNUEABIT64 || in isGNUEnvironment()
658 Env == Triple::GNUEABIHF || Env == Triple::GNUEABIHFT64 || in isGNUEnvironment()
659 Env == Triple::GNUF32 || Env == Triple::GNUF64 || in isGNUEnvironment()
660 Env == Triple::GNUSF || Env == Triple::GNUX32; in isGNUEnvironment()
868 EnvironmentType Env = getEnvironment(); in isShaderStageEnvironment() local
869 return Env == Triple::Pixel || Env == Triple::Vertex || in isShaderStageEnvironment()
870 Env == Triple::Geometry || Env == Triple::Hull || in isShaderStageEnvironment()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysis.h121 Environment &Env) final { in transferTypeErased() argument
123 static_cast<Derived *>(this)->transfer(Element, L, Env); in transferTypeErased()
127 TypeErasedLattice &E, Environment &Env) final { in transferBranchTypeErased() argument
129 E, Env); in transferBranchTypeErased()
158 Environment &Env)
160 Branch, Stmt, std::declval<LatticeT &>(), Env))> {
161 A.transferBranch(Branch, Stmt, llvm::any_cast<Lattice &>(L.Value), Env);
178 Environment Env; member
249 *Lattice, State.Env.fork()});
262 *Lattice, State.Env.fork()});
[all …]
H A DSmartPointerAccessorCaching.h113 if (State.Env.getStorageLocation(*DerefExpr) != nullptr) in transferSmartPointerLikeCachedDeref()
140 *SmartPointerLoc, CanonicalCallee, State.Env, InitializeLoc); in transferSmartPointerLikeCachedDeref()
141 State.Env.setStorageLocation(*DerefExpr, LocForValue); in transferSmartPointerLikeCachedDeref()
158 *SmartPointerLoc, CanonicalCallee, State.Env, InitializeLoc); in transferSmartPointerLikeCachedGet()
159 State.Env.setValue(*GetExpr, in transferSmartPointerLikeCachedGet()
160 State.Env.template create<PointerValue>(LocForValue)); in transferSmartPointerLikeCachedGet()
164 *SmartPointerLoc, GetExpr, State.Env); in transferSmartPointerLikeCachedGet()
167 State.Env.setValue(*GetExpr, *Val); in transferSmartPointerLikeCachedGet()
H A DRecordOps.h40 Environment &Env);
65 const Environment &Env) { in recordsEqual() argument
66 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()
H A DCachedConstAccessorsLattice.h64 const CallExpr *CE, Environment &Env);
78 Environment &Env, llvm::function_ref<void(StorageLocation &)> Initialize);
174 Environment &Env) { in getOrCreateConstMethodReturnValue() argument
188 Value *Val = Env.createValue(Type); in getOrCreateConstMethodReturnValue()
198 Environment &Env, llvm::function_ref<void(StorageLocation &)> Initialize) { in getOrCreateConstMethodReturnStorageLocation() argument
208 StorageLocation &Loc = Env.createStorageLocation(Type.getNonReferenceType()); in getOrCreateConstMethodReturnStorageLocation()
/freebsd/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/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/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
67 if (!Execute(PI, Program, Args, Env, Redirects, MemoryLimit, ErrMsg, in ExecuteNoWait()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DEnvironment.cpp136 Environment EnvironmentManager::bindExpr(Environment Env, in bindExpr() argument
142 return Environment(F.remove(Env.ExprBindings, E)); in bindExpr()
144 return Env; in bindExpr()
146 return Environment(F.add(Env.ExprBindings, E, V)); in bindExpr()
178 EnvironmentManager::removeDeadBindings(Environment Env, in removeDeadBindings() argument
194 for (Environment::iterator I = Env.begin(), End = Env.end(); I != End; ++I) { in removeDeadBindings()
/freebsd/contrib/llvm-project/llvm/lib/DebugInfo/PDB/
H A DPDBSymbolCompiland.cpp48 while (auto Env = Envs->getNext()) { in getSourceFileFullPath() local
49 std::string Var = Env->getName(); in getSourceFileFullPath()
51 EnvWorkingDir = Env->getValue(); in getSourceFileFullPath()
55 EnvSrc = Env->getValue(); in getSourceFileFullPath()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.h60 UncheckedOptionalAccessModel(ASTContext &Ctx, dataflow::Environment &Env);
68 Environment &Env);
89 return DiagnoseMatchSwitch(Elt, Ctx, State.Env); in operator()
/freebsd/contrib/llvm-project/llvm/lib/Target/SPIRV/
H A DSPIRVSubtarget.h56 SPIRVEnvType Env; variable
89 if (Env != Unknown) in setEnv()
92 Env = E; in setEnv()
94 SPIRVEnvType getEnv() const { return Env; } in getEnv()

1234