Searched refs:EnvB (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 761 Environment Environment::join(const Environment &EnvA, const Environment &EnvB, in join() argument
764 assert(EnvA.DACtx == EnvB.DACtx); in join()
765 assert(EnvA.LocForRecordReturnVal == EnvB.LocForRecordReturnVal); in join()
766 assert(EnvA.ThisPointeeLoc == EnvB.ThisPointeeLoc); in join()
767 assert(EnvA.CallStack == EnvB.CallStack); in join()
768 assert(EnvA.ResultObjectMap == EnvB.ResultObjectMap); in join()
769 assert(EnvA.InitialTargetFunc == EnvB.InitialTargetFunc); in join()
770 assert(EnvA.InitialTargetStmt == EnvB.InitialTargetStmt); in join()
786 joinValues(Func->getReturnType(), EnvA.ReturnVal, EnvA, EnvB.ReturnVal, in join()
787 EnvB, JoinedEnv, Model); in join()
[all …]
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 254 static Environment join(const Environment &EnvA, const Environment &EnvB,
|