[PATCH] D122273: [clang][dataflow] Fix handling of base-class fields

[Yitzhak Mandelbaum via Phabricator via cfe-commits]

ymandel created this revision.
ymandel added reviewers: sgatev, gribozavr2.
Herald added subscribers: tschuett, steakhal.
Herald added a project: All.
ymandel updated this revision to Diff 417906.
ymandel added a comment.
ymandel updated this revision to Diff 419430.
ymandel retitled this revision from "[clang][dataflow] Fields bug repro. NOT FOR REVIEW." to "[clang][dataflow] Fix handling of base-class fields".
ymandel edited the summary of this revision.
ymandel updated this revision to Diff 419440.
ymandel edited the summary of this revision.
ymandel updated this revision to Diff 419449.
ymandel updated this revision to Diff 419451.
ymandel added a reviewer: xazax.hun.
Herald added a subscriber: rnkovacs.
ymandel published this revision for review.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.

Added repros for equality-related failures.


ymandel added a comment.

c


ymandel added a comment.

added missing call


ymandel added a comment.

refactor


ymandel added a comment.

tweak


This patch adds support for tracking of non-private base-class fields in derived classes.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D122273

Files:
  clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
  clang/unittests/Analysis/FlowSensitive/TransferTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D122273.419451.patch
Type: text/x-patch
Size: 5325 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20220331/a4c552ea/attachment-0001.bin>