projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b6551b) | patch
middle-end/94539 - void * aliases every other pointer
authorRichard Biener <rguenther@suse.de>
Tue, 14 Apr 2020 11:16:25 +0000 (13:16 +0200)
committerRichard Biener <rguenther@suse.de>
Wed, 15 Apr 2020 07:19:26 +0000 (09:19 +0200)
commite71b408aa242ffc76ffd19ebcdbd40279a1d9349
tree19da1ef7ccdb744483811f95be28b003256bd893tree
parent5b6551bc6049b34425fb96e8d91eb15b04f87f62commit | diff
middle-end/94539 - void * aliases every other pointer

This makes same_type_for_tbaa_p conservative in the same way
get_alias_set is about void * which we allow to alias all other
pointers.

2020-04-15  Richard Biener  <rguenther@suse.de>

PR middle-end/94539
* tree-ssa-alias.c (same_type_for_tbaa): Defer to
alias_sets_conflict_p for pointers.

* gcc.dg/alias-14.c: Make dg-do run.
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/alias-14.c diff | blob | history
gcc/tree-ssa-alias.c diff | blob | history