gribozavr2 added inline comments.
================
Comment at: clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp:53
+static bool indirectionEquivalentValues(Value *Val1, Value *Val2) {
+ if (auto *IndVal1 = dyn_cast<ReferenceValue>(Val1)) {
----------------
WDYT about "areEquivalentIndirectionValues"?
================
Comment at: clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp:63
- auto *IndVal2 = cast<IndirectionValue>(Val2);
- assert(IndVal1->getKind() == IndVal2->getKind());
- if (&IndVal1->getPointeeLoc() == &IndVal2->getPointeeLoc())
----------------
This assert was lost in the new implementation.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D127312/new/
https://reviews.llvm.org/D127312
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
