[PATCH] D33328: [CodeGen] Pessimize aliasing for union members (and may-alias) objects

[Krzysztof Parzyszek via Phabricator via cfe-commits]

kparzysz updated this revision to Diff 99918.
kparzysz edited the summary of this revision.
kparzysz added a comment.

Previously, the variable mayAlias in EmitLValueForField could have been false even if the base LValue had may-alias flag set.  Make sure that mayAlias reflects the base aliasing.

This fixed the C++ testcase and it's now included in the patch.


Repository:
  rL LLVM

https://reviews.llvm.org/D33328

Files:
  lib/CodeGen/CGExpr.cpp
  test/CodeGen/union-tbaa1.c
  test/CodeGenCXX/union-tbaa2.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D33328.99918.patch
Type: text/x-patch
Size: 4946 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170523/b6007626/attachment.bin>