https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83989
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Author: jakub Date: Fri Jan 26 11:47:11 2018 New Revision: 257086 URL: https://gcc.gnu.org/viewcvs?rev=257086&root=gcc&view=rev Log: PR c/83989 * gimple-ssa-warn-restrict.c (builtin_memref::builtin_memref): Don't use SSA_NAME_VAR as base for SSA_NAMEs with non-NULL SSA_NAME_VAR. * c-c++-common/Wrestrict-3.c: New test. Added: trunk/gcc/testsuite/c-c++-common/Wrestrict-3.c Modified: trunk/gcc/ChangeLog trunk/gcc/gimple-ssa-warn-restrict.c trunk/gcc/testsuite/ChangeLog