Home
last modified time | relevance | path

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

1234

/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DTransfer.cpp53 : StmtToEnv(StmtToEnv), Env(Env), Options(Options) {} in TransferVisitor()
87 Env.setValue(Loc, Env.makeAnd(LHSVal, RHSVal)); in VisitBinaryOperator()
89 Env.setValue(Loc, Env.makeOr(LHSVal, RHSVal)); in VisitBinaryOperator()
220 Env.setValue(Loc, Env.makeAtomicBoolValue()); in VisitImplicitCastExpr()
314 Env.setValue(ExprLoc, Env.makeNot(*SubExprVal)); in VisitUnaryOperator()
331 Env.setValue(Loc, Env.takeOwnership( in VisitCXXThisExpr()
354 Env.setValue(Loc, Env.takeOwnership( in VisitMemberExpr()
378 Env.setValue( in VisitMemberExpr()
537 Env = ExitState->Env; in VisitCallExpr()
616 Env.setValue(Loc, Env.getBoolLiteralValue(S->getValue())); in VisitCXXBoolLiteralExpr()
[all …]
H A DTypeErasedDataflowAnalysis.cpp54 return &State.value().Env; in getEnvironment()
78 : StmtToEnv(StmtToEnv), Env(Env), BlockSuccIdx(BlockSuccIdx), in TerminatorVisitor()
137 Env.setStorageLocation(Cond, *Loc); in extendFlowCondition()
139 Val = &Env.makeAtomicBoolValue(); in extendFlowCondition()
140 Env.setValue(*Loc, *Val); in extendFlowCondition()
146 Val = &Env.makeNot(*Val); in extendFlowCondition()
148 Env.addToFlowCondition(*Val); in extendFlowCondition()
152 Environment &Env; member in clang::dataflow::TerminatorVisitor
230 MaybeState->Env.join(PredState.Env, Analysis); in computeBlockInputState()
295 State.Env.setValue(MemberLoc, in transferCFGInitializer()
[all …]
H A DDataflowEnvironment.cpp117 auto &Loc = Env.createStorageLocation(D); in initGlobalVar()
118 Env.setStorageLocation(D, Loc); in initGlobalVar()
120 Env.setValue(Loc, *Val); in initGlobalVar()
126 initGlobalVar(*V, Env); in initGlobalVar()
136 initGlobalVars(*Child, Env); in initGlobalVars()
144 initGlobalVar(*D, Env); in initGlobalVars()
147 initGlobalVar(*E->getDecl(), Env); in initGlobalVars()
149 initGlobalVar(*E->getMemberDecl(), Env); in initGlobalVars()
204 Environment Env(*this); in pushCall() local
233 Env.setStorageLocation(*Param, *ArgLoc); in pushCall()
[all …]
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp296 Env.flowConditionImplies(Env.makeNot(*HasValueVal)); in isEmptyOptional()
323 State.Env.setValue( in transferMakeOptionalCall()
324 Loc, createOptionalValue(State.Env, State.Env.getBoolLiteralValue(true))); in transferMakeOptionalCall()
331 State.Env, State.Env.getValue(*CallExpr->getImplicitObjectArgument(), in transferOptionalHasValueCall()
347 auto &Env = State.Env; in transferValueOrImpl() local
354 State.Env, in transferValueOrImpl()
368 Env.addToFlowCondition(ModelPred(Env, *ExprValue, *HasValueVal)); in transferValueOrImpl()
383 return Env.makeImplication(Env.makeNot(ExprVal), in transferValueOrStringEmptyCall()
409 State.Env.setValue( in transferCallReturningOptional()
410 Loc, createOptionalValue(State.Env, State.Env.makeAtomicBoolValue())); in transferCallReturningOptional()
[all …]
H A DChromiumCheckModel.cpp53 bool ChromiumCheckModel::transfer(const Stmt *Stmt, Environment &Env) { in transfer() argument
58 Env.addToFlowCondition(Env.getBoolLiteralValue(false)); in transfer()
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTransferTest.cpp84 const Environment &Env = Results[0].second.Env; in TEST() local
166 const Environment &Env = Results[0].second.Env; in TEST() local
214 const Environment &Env = Results[0].second.Env; in TEST() local
260 const Environment &Env = Results[0].second.Env; in TEST() local
306 const Environment &Env = Results[0].second.Env; in TEST() local
354 const Environment &Env = Results[0].second.Env; in TEST() local
451 const Environment &Env = Results[0].second.Env; in TEST() local
499 const Environment &Env = Results[0].second.Env; in TEST() local
921 const Environment &Env = Results[0].second.Env; in TEST() local
965 const Environment &Env = Results[0].second.Env; in TEST() local
[all …]
H A DTypeErasedDataflowAnalysisTest.cpp74 Environment Env(DACtx); in runAnalysis() local
317 Env.setValue(*Env.getStorageLocation(*E, SkipPast::None), ConstructorVal); in transfer()
332 Env.setValue(*ObjectLoc, ConstructorVal); in transfer()
469 Env.setValue(*Env.getStorageLocation(*E, SkipPast::None), ConstructorVal); in transfer()
667 const Environment &Env = Results[0].second.Env; in TEST_F() local
703 const Environment &Env = Results[0].second.Env; in TEST_F() local
820 const Environment &Env = Results[0].second.Env; in TEST_F() local
1023 const Environment &Env = Results[0].second.Env; in TEST_F() local
1053 const Environment &Env = Results[0].second.Env; in TEST_F() local
1096 const Environment &Env = Results[0].second.Env; in TEST_F() local
[all …]
H A DDataflowEnvironmentTest.cpp31 : Context(std::make_unique<WatchedLiteralsSolver>()), Env(Context) {} in EnvironmentTest()
33 Environment Env; member in __anon38c35fe10111::EnvironmentTest
37 EXPECT_TRUE(Env.flowConditionImplies(Env.getBoolLiteralValue(true))); in TEST_F()
38 EXPECT_FALSE(Env.flowConditionImplies(Env.getBoolLiteralValue(false))); in TEST_F()
40 auto &X = Env.makeAtomicBoolValue(); in TEST_F()
41 EXPECT_FALSE(Env.flowConditionImplies(X)); in TEST_F()
43 Env.addToFlowCondition(X); in TEST_F()
44 EXPECT_TRUE(Env.flowConditionImplies(X)); in TEST_F()
46 auto &NotX = Env.makeNot(X); in TEST_F()
47 EXPECT_FALSE(Env.flowConditionImplies(NotX)); in TEST_F()
[all …]
H A DChromiumCheckModelTest.cpp123 void transfer(const Stmt *S, NoopLattice &, Environment &Env) { in transfer() argument
124 M.transfer(S, Env); in transfer()
159 const Environment &Env = Results[0].second.Env; in TEST() local
164 auto *FooVal = cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
166 EXPECT_TRUE(Env.flowConditionImplies(*FooVal)); in TEST()
192 const Environment &Env = Results[0].second.Env; in TEST() local
197 auto *FooVal = cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None)); in TEST()
199 EXPECT_FALSE(Env.flowConditionImplies(*FooVal)); in TEST()
H A DTestingSupport.h68 const Environment &Env; member
112 Environment Env(DACtx, *F);
113 auto Analysis = MakeAnalysis(Context, Env);
132 MaybeBlockStates = runTypeErasedDataflowAnalysis(*CFCtx, Analysis, Env,
138 AnalysisData AnalysisData{Context, *CFCtx, Env,
181 AnalysisData.Env, AnalysisData.Analysis,
190 Results.emplace_back(It->second, StateT{*Lattice, State.Env});
/llvm-project-15.0.7/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 …]
/llvm-project-15.0.7/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()
104 FormatTokenLexer Lex(Env.getSourceManager(), Env.getFileID(), in process()
[all …]
H A DQualifierAlignmentFixer.cpp28 const Environment &Env, const FormatStyle &Style, StringRef &Code, in QualifierAlignmentFixer() argument
31 : TokenAnalyzer(Env, Style), Code(Code), Ranges(Ranges), in QualifierAlignmentFixer()
43 [&, Qualifier, ConfiguredQualifierTokens](const Environment &Env) { in QualifierAlignmentFixer() argument
44 return LeftRightQualifierAlignmentFixer(Env, Style, Qualifier, in QualifierAlignmentFixer()
53 return LeftRightQualifierAlignmentFixer(Env, Style, Qualifier, in QualifierAlignmentFixer()
65 auto Env = Environment::make(Code, FileName, Ranges, FirstStartColumn, in analyze() local
67 if (!Env) in analyze()
79 Env = Environment::make( in analyze()
83 if (!Env) in analyze()
420 const Environment &Env, const FormatStyle &Style, in LeftRightQualifierAlignmentFixer() argument
[all …]
H A DFormat.cpp1836 : TokenAnalyzer(Env, Style) { in BracesInserter()
2036 Env.getSourceManager().getBufferData(Env.getFileID()), in analyze()
2219 : TokenAnalyzer(Env, Style), in Cleaner()
3239 if (!Env) in reformat()
3319 if (!Env) in reformat()
3333 Env = Environment::make( in reformat()
3337 if (!Env) in reformat()
3365 if (!Env) in cleanup()
3385 if (!Env) in fixNamespaceEndComments()
3395 if (!Env) in separateDefinitionBlocks()
[all …]
/llvm-project-15.0.7/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()
/llvm-project-15.0.7/llvm/test/CodeGen/X86/GC/
H A Dlower_gcroot.ll3 %Env = type ptr
5 define void @.main(%Env) gc "shadow-stack" {
6 %Root = alloca %Env
7 call void @llvm.gcroot( ptr %Root, %Env null )
11 declare void @llvm.gcroot(ptr, %Env)
/llvm-project-15.0.7/openmp/libomptarget/plugins/remote/include/
H A DUtils.h60 if (const char *Env = std::getenv("LIBOMPTARGET_RPC_ADDRESS")) { local
62 std::string AddressString = Env;
74 if (const char *Env = std::getenv("LIBOMPTARGET_RPC_ALLOCATOR_MAX")) local
75 MaxSize = std::stoi(Env);
76 if (const char *Env = std::getenv("LIBOMPTARGET_RPC_BLOCK_SIZE")) local
77 BlockSize = std::stoi(Env);
/llvm-project-15.0.7/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)
/llvm-project-15.0.7/lldb/unittests/Utility/
H A DEnvironmentTest.cpp39 Environment Env; in TEST() local
40 Env.insert(FOO_EQ_BAR); in TEST()
41 Env.insert(BAR_EQ_BAZ); in TEST()
42 Environment::Envp Envp = Env.getEnvp(); in TEST()
/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysis.h96 Environment &Env) final { in transferTypeErased() argument
98 static_cast<Derived *>(this)->transfer(Stmt, L, Env); in transferTypeErased()
111 Environment Env; member
139 *Lattice, State.Env});
159 std::move(State.Env)};
171 virtual bool transfer(const Stmt *Stmt, Environment &Env) = 0;
H A DTypeErasedDataflowAnalysis.h110 Environment Env; member
112 TypeErasedDataflowAnalysisState(TypeErasedLattice Lattice, Environment Env) in TypeErasedDataflowAnalysisState()
113 : Lattice(std::move(Lattice)), Env(std::move(Env)) {} in TypeErasedDataflowAnalysisState()
/llvm-project-15.0.7/llvm/lib/Support/
H A DProgram.cpp26 ArrayRef<StringRef> Args, Optional<ArrayRef<StringRef>> Env,
32 Optional<ArrayRef<StringRef>> Env, in ExecuteAndWait() argument
40 if (Execute(PI, Program, Args, Env, Redirects, MemoryLimit, ErrMsg, in ExecuteAndWait()
57 Optional<ArrayRef<StringRef>> Env, in ExecuteNoWait() argument
65 if (!Execute(PI, Program, Args, Env, Redirects, MemoryLimit, ErrMsg, in ExecuteNoWait()
/llvm-project-15.0.7/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()
/llvm-project-15.0.7/openmp/libomptarget/plugins/amdgpu/src/
H A Drtl.cpp479 EnvironmentVariables Env; member in RTLDeviceInfoTy
1215 int MaxTeams = Env.MaxTeamsDefault > 0 ? Env.MaxTeamsDefault : DeviceNumTeams; in getLaunchVals()
1256 if (Env.TeamLimit > 0) in getLaunchVals()
1257 NumGroups = (MaxTeams < Env.TeamLimit) ? MaxTeams : Env.TeamLimit; in getLaunchVals()
1288 if (Env.NumTeams > 0) { in getLaunchVals()
1289 NumGroups = (Env.NumTeams < NumGroups) ? Env.NumTeams : NumGroups; in getLaunchVals()
1291 } else if (Env.TeamLimit > 0) { in getLaunchVals()
1292 NumGroups = (Env.TeamLimit < NumGroups) ? Env.TeamLimit : NumGroups; in getLaunchVals()
1333 if (Env.MaxTeamsDefault > 0 && NumGroups > Env.MaxTeamsDefault) in getLaunchVals()
2177 DeviceInfo().Env.NumTeams); in __tgt_rtl_init_device()
[all …]
/llvm-project-15.0.7/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