[PATCH] D69542: Full Restrict Support - single patch

[Henry Kao via Phabricator via llvm-commits]

hkao13 added a comment.

Hi @jeroen.dobbelaere, the above two comments of mine are in the wrong order, sorry.

I have attached a C test case, and the problem I'm seeing related to the above comments can be replicated using:

`clang -flegacy-pass-manager -ffull-restrict -fstrict-aliasing -O1 test-verify.c`

F22106280: test-verify.c <https://reviews.llvm.org/F22106280>

The output error I see is on a bitcast instruction:
`This instruction shall not have a TBAA access tag!`

Thanks.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D69542/new/

https://reviews.llvm.org/D69542