samestep added inline comments.
================
Comment at: clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp:103
if (Value *MergedVal = MergedEnv.createValue(Type))
if (Model.merge(Type, *Val1, Env1, *Val2, Env2, *MergedVal, MergedEnv))
return MergedVal;
----------------
sgatev wrote:
> We should probably pass `TookSecondBranch` here so that models can also use
> it in the implementation of `merge`. Could be in a follow up, but let's leave
> a FIXME.
FIXME added; thanks!
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D130270/new/
https://reviews.llvm.org/D130270
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
