tbaeder added inline comments.
================
Comment at: clang/lib/AST/Interp/ByteCodeExprGen.cpp:1115
+ // all field and bases explicitly.
+ if (E->requiresZeroInitialization() && Ctor->isTrivial()) {
+ assert(E->getType()->isRecordType());
----------------
I briefly talked about this with @aaron.ballman on IRC. The current interpreter
properly zero-initialized all the fields of a struct, but the un-does the
initialization again (and initializes them to a `APValue::Indeterminate` in
`HandleConstructorCall::SkipToField()`.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D154189/new/
https://reviews.llvm.org/D154189
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
