sgatev accepted this revision.
sgatev added inline comments.
================
Comment at: clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp:208
Environment Env(*this);
+ Env.ReturnLoc = Env.getStorageLocation(*Call, SkipPast::Reference);
----------------
Let's add a FIXME to support references here.
================
Comment at: clang/lib/Analysis/FlowSensitive/Transfer.cpp:543-545
+ auto &ReturnLoc = Env.createStorageLocation(*S);
+ Env.setStorageLocation(*S, ReturnLoc);
auto CalleeEnv = Env.pushCall(S);
----------------
Now there's a hidden connection - `ReturnLoc` gets assigned a value in `Env`
because we implicitly use the same storage location in `Env.pushCall(S)`. I
suggest adding a comment about this.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D130600/new/
https://reviews.llvm.org/D130600
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
