[PATCH] D128363: [clang][dataflow] Implement functionality for flow condition variable substitution.
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Jun 22 16:42:50 PDT 2022
xazax.hun added inline comments.
Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h:197
+ /// `Substitutions`, it will be substituted with the value it maps to.
+ BoolValue &buildAndSubstituteFlowCondition(
+ AtomicBoolValue &Token,
Could you elaborate on why do we need this? Why do we care about how flow condition constraints are represented? We should use the solver to ask questions and as far as I understand the solver should work with both representations. Also this function feels like doing two things, building the flow condition from the tokens and doing substitutions. Any reason why those two are not separate functions? Is this for performance reasons?
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
More information about the cfe-commits