[Bug tree-optimization/60712] New: "restrict" qualifier ignored on local variable or after inlining

[gbugcc at binkmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60712

            Bug ID: 60712
           Summary: "restrict" qualifier ignored on local variable or
                    after inlining
           Product: gcc
           Version: 4.8.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gbugcc at binkmail dot com

Created attachment 32490
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32490&action=edit
Test case

Version: x86_64-w64-mingw32-gcc 4.8.2 (standard Cygwin binaries)
Flags: gcc -std=c99 -O3

sum()'s loop is optimized into a single multiply, as it should.

But when inlined automatically by the compiler or "manually" by applying
restrict qualifiers to local variables, the optimization fails.

This is might be the same as bug 58526. However, -fdump-tree-alias shows that
inlining removed all restrict qualifiers, whereas they are still present in the
type information of bug_when_local_variable(), so perhaps there are two
distinct bugs here.