Piotr Padlewski c1d26062f7 Emit invariant.group.barrier when using union field ...

Summary:
We need to emit barrier if the union field
is CXXRecordDecl because it might have vptrs. The testcode
was wrongly devirtualized. It also proves that having different
groups for different dynamic types is not sufficient.

Reviewers: rjmccall, rsmith, mehdi_amini

Subscribers: amharc, cfe-commits

Differential Revision: https://reviews.llvm.org/D31830

llvm-svn: 304448

2017-06-01 18:39:34 +00:00

177 KiB

Raw Blame History

View Raw