[PATCH] D57660: [Sema] SequenceChecker: Handle references and members

[Bruno Ricci via Phabricator via cfe-commits]

riccibruno created this revision.
riccibruno added reviewers: aaron.ballman, rsmith.
riccibruno added a project: clang.
Herald added a subscriber: cfe-commits.

Teach the unsequenced operation checker about references and members. To do this introduce a class `MemoryLocation` which will approximate C++ memory locations.

We don't handle bit-fields for now but I plan to do this later. I also plan to teach it about the C++17 sequencing rules, and fix a number of corner cases around `||`, `&&` and `?:`.


Repository:
  rC Clang

https://reviews.llvm.org/D57660

Files:
  include/clang/Basic/DiagnosticSemaKinds.td
  lib/Sema/SemaChecking.cpp
  test/SemaCXX/warn-unsequenced.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D57660.184967.patch
Type: text/x-patch
Size: 28016 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190203/6ef61dc7/attachment-0001.bin>