| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 65 class Environment {
88 const Environment &Env1, const Value &Val2, in compare()
89 const Environment &Env2) { in compare()
109 virtual void join(QualType Type, const Value &Val1, const Environment &Env1, in join()
110 const Value &Val2, const Environment &Env2, in join()
111 Value &JoinedVal, Environment &JoinedEnv) {} in join()
142 const Environment &PrevEnv, in widen()
144 Environment &CurrentEnv) { in widen()
161 explicit Environment(DataflowAnalysisContext &DACtx) in Environment() function
167 Environment(DataflowAnalysisContext &DACtx, Stmt &S) : Environment(DACtx) { in Environment() function
[all …]
|
| H A D | TypeErasedDataflowAnalysis.h | 54 class TypeErasedDataflowAnalysis : public Environment::ValueModel {
100 Environment &) = 0;
109 TypeErasedLattice &, Environment &) = 0;
125 Environment Env;
127 TypeErasedDataflowAnalysisState(TypeErasedLattice Lattice, Environment Env) in TypeErasedDataflowAnalysisState()
163 const Environment &InitEnv,
|
| H A D | RecordOps.h | 40 Environment &Env);
60 bool recordsEqual(const RecordStorageLocation &Loc1, const Environment &Env1,
61 const RecordStorageLocation &Loc2, const Environment &Env2);
65 const Environment &Env) { in recordsEqual()
|
| H A D | DataflowAnalysis.h | 121 Environment &Env) final { in transferTypeErased()
127 TypeErasedLattice &E, Environment &Env) final { in transferBranchTypeErased()
158 Environment &Env)
167 TypeErasedLattice &, Environment &) {} in transferBranchInternal() argument
178 Environment Env;
235 const Environment &InitEnv,
295 auto createAnalysis(ASTContext &ASTCtx, Environment &Env)
300 auto createAnalysis(ASTContext &ASTCtx, Environment &Env)
332 Environment Env(AnalysisContext, FuncDecl);
395 class DataflowModel : public Environment::ValueModel {
[all …]
|
| H A D | Transfer.h | 42 const Environment *getEnvironment(const Stmt &S) const;
56 void transfer(const StmtToEnvMap &StmtToEnv, const Stmt &S, Environment &Env,
57 Environment::ValueModel &Model);
|
| H A D | CachedConstAccessorsLattice.h | 64 const CallExpr *CE, Environment &Env);
78 Environment &Env, llvm::function_ref<void(StorageLocation &)> Initialize);
174 Environment &Env) { in getOrCreateConstMethodReturnValue()
198 Environment &Env, llvm::function_ref<void(StorageLocation &)> Initialize) { in getOrCreateConstMethodReturnStorageLocation()
|
| /freebsd/contrib/llvm-project/lldb/include/lldb/Utility/ |
| H A D | Environment.h | 18 class Environment : private llvm::StringMap<std::string> {
31 explicit Envp(const Environment &Env);
35 friend class Environment; variable
59 Environment() {} in Environment() function
60 Environment(const Environment &RHS) : Base(static_cast<const Base&>(RHS)) {} in Environment() function
61 Environment(Environment &&RHS) : Base(std::move(RHS)) {} in Environment() function
62 Environment(char *const *Env) in Environment() function
63 : Environment(const_cast<const char *const *>(Env)) {} in Environment()
64 Environment(const char *const *Env);
66 Environment &operator=(Environment RHS) {
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 95 const Environment &Env1, Value &Val2, in compareDistinctValues()
96 const Environment &Env2, in compareDistinctValues()
97 Environment::ValueModel &Model) { in compareDistinctValues()
120 const Environment &Env1, Value &Val2, in joinDistinctValues()
121 const Environment &Env2, in joinDistinctValues()
122 Environment &JoinedEnv, in joinDistinctValues()
123 Environment::ValueModel &Model) { in joinDistinctValues()
160 const Environment &PrevEnv, in widenDistinctValues()
161 Value &Current, Environment &CurrentEnv, in widenDistinctValues()
162 Environment::ValueModel &Model) { in widenDistinctValues()
[all …]
|
| H A D | Transfer.cpp | 41 const Environment *StmtToEnvMap::getEnvironment(const Stmt &S) const { in getEnvironment()
58 Environment &Env) { in evaluateBooleanEquality()
87 static BoolValue &unpackValue(BoolValue &V, Environment &Env) { in unpackValue()
98 static Value *maybeUnpackLValueExpr(const Expr &E, Environment &Env) { in maybeUnpackLValueExpr()
115 static void propagateValue(const Expr &From, const Expr &To, Environment &Env) { in propagateValue()
123 Environment &Env) { in propagateStorageLocation()
132 Environment &Env) { in propagateValueOrStorageLocation()
144 TransferVisitor(const StmtToEnvMap &StmtToEnv, Environment &Env, in TransferVisitor()
145 Environment::ValueModel &Model) in TransferVisitor()
697 const Environment *TrueEnv = StmtToEnv.getEnvironment(*S->getTrueExpr()); in VisitConditionalOperator()
[all …]
|
| H A D | TypeErasedDataflowAnalysis.cpp | 105 const Environment &InitEnv, in AnalysisContext()
120 const Environment &InitEnv;
174 Environment::ExprJoinBehavior JoinBehavior;
182 Environment::join(L.Env, R.Env, AC.Analysis, JoinBehavior)}; in join()
187 Environment::ExprJoinBehavior JoinBehavior) in JoinedStateBuilder()
208 return {All[0]->Lattice, Environment::join(All[0]->Env, All[0]->Env, in take()
275 Environment::ExprJoinBehavior JoinBehavior = Environment::DiscardExprState; in computeBlockInputState()
278 JoinBehavior = Environment::KeepExprState; in computeBlockInputState()
490 const Environment &InitEnv, in runTypeErasedDataflowAnalysis()
495 std::optional<Environment> MaybeStartingEnv; in runTypeErasedDataflowAnalysis()
[all …]
|
| H A D | RecordOps.cpp | 21 Environment &Env) { in copyField()
39 StorageLocation &DstFieldLoc, Environment &Env) { in copySyntheticField()
52 Environment &Env) { in copyRecord()
88 bool recordsEqual(const RecordStorageLocation &Loc1, const Environment &Env1, in recordsEqual()
89 const RecordStorageLocation &Loc2, const Environment &Env2) { in recordsEqual()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Environment.h | 56 class Environment {
64 Environment(BindingsTy eb) : ExprBindings(eb) {} in Environment() function
80 static void Profile(llvm::FoldingSetNodeID& ID, const Environment* env) { in Profile()
90 bool operator==(const Environment& RHS) const {
101 using FactoryTy = Environment::BindingsTy::Factory;
108 Environment getInitialEnvironment() { in getInitialEnvironment()
109 return Environment(F.getEmptyMap()); in getInitialEnvironment()
113 Environment bindExpr(Environment Env, const EnvironmentEntry &E, SVal V,
116 Environment removeDeadBindings(Environment Env,
|
| /freebsd/contrib/llvm-project/lldb/source/Utility/ |
| H A D | Environment.cpp | 13 char *Environment::Envp::make_entry(llvm::StringRef Key, in make_entry()
28 Environment::Envp::Envp(const Environment &Env) { in Envp()
37 Environment::Environment(const char *const *Env) { in Environment() function in Environment
44 void Environment::insert(iterator first, iterator last) { in insert()
|
| /freebsd/contrib/llvm-project/lldb/source/Plugins/Platform/QemuUser/ |
| H A D | PlatformQemuUser.cpp | 57 Environment GetEmulatorEnvVars() { in GetEmulatorEnvVars()
60 return Environment(args); in GetEmulatorEnvVars()
63 Environment GetTargetEnvVars() { in GetTargetEnvVars()
66 return Environment(args); in GetTargetEnvVars()
126 static Environment ComputeLaunchEnvironment(Environment target, in ComputeLaunchEnvironment()
127 Environment host) { in ComputeLaunchEnvironment()
134 set_env.push_back(Environment::compose(KV)); in ComputeLaunchEnvironment()
202 Environment emulator_env = Host::GetEnvironment(); in DebugProcess()
246 Environment PlatformQemuUser::GetEnvironment() { in GetEnvironment()
247 Environment env = Host::GetEnvironment(); in GetEnvironment()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | Environment.cpp | 78 SVal Environment::lookupExpr(const EnvironmentEntry &E) const { in lookupExpr()
87 SVal Environment::getSVal(const EnvironmentEntry &Entry, in getSVal()
136 Environment EnvironmentManager::bindExpr(Environment Env, in bindExpr()
142 return Environment(F.remove(Env.ExprBindings, E)); in bindExpr()
146 return Environment(F.add(Env.ExprBindings, E, V)); in bindExpr()
177 Environment
178 EnvironmentManager::removeDeadBindings(Environment Env, in removeDeadBindings()
184 Environment NewEnv = getInitialEnvironment(); in removeDeadBindings()
194 for (Environment::iterator I = Env.begin(), End = Env.end(); I != End; ++I) { in removeDeadBindings()
215 void Environment::printJson(raw_ostream &Out, const ASTContext &Ctx, in printJson()
|
| /freebsd/contrib/llvm-project/clang/lib/Format/ |
| H A D | TokenAnalyzer.h | 26 class Environment {
33 Environment(StringRef Code, StringRef FileName, unsigned FirstStartColumn = 0,
56 static std::unique_ptr<Environment> make(StringRef Code, StringRef FileName,
79 TokenAnalyzer(const Environment &Env, const FormatStyle &Style);
97 const Environment &Env;
|
| H A D | TokenAnalyzer.cpp | 55 std::unique_ptr<Environment>
56 Environment::make(StringRef Code, StringRef FileName, in make()
59 auto Env = std::make_unique<Environment>(Code, FileName, FirstStartColumn, in make()
76 Environment::Environment(StringRef Code, StringRef FileName, in Environment() function in clang::format::Environment
83 TokenAnalyzer::TokenAnalyzer(const Environment &Env, const FormatStyle &Style) in TokenAnalyzer()
|
| H A D | QualifierAlignmentFixer.h | 24 const Environment &)>
52 const Environment &Env, const FormatStyle &Style,
|
| /freebsd/contrib/llvm-project/lldb/source/API/ |
| H A D | SBEnvironment.cpp | 19 SBEnvironment::SBEnvironment() : m_opaque_up(new Environment()) { in SBEnvironment()
28 SBEnvironment::SBEnvironment(Environment rhs) in SBEnvironment()
29 : m_opaque_up(new Environment(std::move(rhs))) {} in SBEnvironment()
96 entries.AppendString(Environment::compose(KV).c_str()); in GetEntries()
124 Environment &SBEnvironment::ref() const { return *m_opaque_up; } in ref()
|
| H A D | SBLaunchInfo.cpp | 40 Environment::Envp m_envp;
185 SetEnvironment(SBEnvironment(Environment(envp)), append); in SetEnvironmentEntries()
190 Environment &refEnv = env.ref(); in SetEnvironment()
201 return SBEnvironment(Environment(m_opaque_sp->GetEnvironment())); in GetEnvironment()
|
| /freebsd/contrib/llvm-project/lldb/include/lldb/API/ |
| H A D | SBEnvironment.h | 127 SBEnvironment(lldb_private::Environment rhs);
129 lldb_private::Environment &ref() const;
132 std::unique_ptr<lldb_private::Environment> m_opaque_up;
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.h | 60 UncheckedOptionalAccessModel(ASTContext &Ctx, dataflow::Environment &Env);
68 Environment &Env);
93 CFGMatchSwitch<const Environment,
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 368 const Formula &forceBoolValue(Environment &Env, const Expr &Expr) { in forceBoolValue()
389 Environment &Env) { in setHasValue()
395 BoolValue *getHasValue(Environment &Env, RecordStorageLocation *OptionalLoc) { in getHasValue()
427 const Environment &Env) { in getLocBehindPossiblePointer()
483 const Formula &(*ModelPred)(Environment &Env, const Formula &ExprVal, in transferValueOrImpl()
503 [](Environment &Env, const Formula &ExprVal, in transferValueOrStringEmptyCall()
521 [](Environment &Env, const Formula &ExprVal, in transferValueOrNotEqX()
683 void constructOptionalValue(const Expr &E, Environment &Env, in constructOptionalValue()
760 Environment &Env) { in transferSwap()
842 Environment &Env = State.Env; in transferOptionalAndOptionalCmp()
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/Driver/ |
| H A D | Job.cpp | 305 Environment.reserve(NewEnvironment.size() + 1); in setEnvironment()
306 Environment.assign(NewEnvironment.begin(), NewEnvironment.end()); in setEnvironment()
307 Environment.push_back(nullptr); in setEnvironment()
359 if (!Environment.empty()) { in Execute()
360 assert(Environment.back() == nullptr && in Execute()
362 ArgvVectorStorage = llvm::toStringRefArray(Environment.data()); in Execute()
|
| /freebsd/sys/contrib/openzfs/scripts/ |
| H A D | kmodtool | 77 Group: System Environment/Kernel
106 Group: System Environment/Kernel
151 Group: System Environment/Kernel
230 Group: System Environment/Kernel
276 Group: System Environment/Kernel
312 Group: System Environment/Kernel
|