[PATCH] D136694: [clang][Interp] Check that constructor calls initialize all record fields

Timm Bäder via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Oct 25 09:08:48 PDT 2022


tbaeder created this revision.
tbaeder added reviewers: aaron.ballman, erichkeane, tahonermann, shafik.
Herald added a project: All.
tbaeder requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.

We need to do this, even for global variables (it seems).

The diagnostic output is slightly different than what we get from the current interpreter, but I'm not sure if it's worse or not or if that needs to be changed.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D136694

Files:
  clang/lib/AST/Interp/Descriptor.cpp
  clang/lib/AST/Interp/Interp.cpp
  clang/lib/AST/Interp/Interp.h
  clang/lib/AST/Interp/InterpFrame.cpp
  clang/test/AST/Interp/cxx20.cpp
  clang/test/AST/Interp/records.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D136694.470520.patch
Type: text/x-patch
Size: 6248 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20221025/f2b4b439/attachment-0001.bin>


More information about the cfe-commits mailing list