[PATCH] D142468: [clang][dataflow] Fix bug in handling of reference-typed fields.

[Stanislav Gatev via Phabricator via cfe-commits]

sgatev accepted this revision.
sgatev added inline comments.
This revision is now accepted and ready to land.


================
Comment at: clang/lib/Analysis/FlowSensitive/Transfer.cpp:209
     if (VD->getType()->isReferenceType()) {
+      assert(isValidReferenceLoc(*DeclLoc, Env) &&
+             "reference-typed declarations map to `ReferenceValue`s");
----------------
Can we use `isa_and_nonnull(Env.getValue(Loc))` instead?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D142468/new/

https://reviews.llvm.org/D142468