https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111716
--- Comment #3 from King Lok Chung <king.chung at manchester dot ac.uk> --- (In reply to Andrew Pinski from comment #1) > (In reply to King Lok Chung from comment #0) > > I also find that the type of the parameter is not propagated correctly. For > > example, an array type is propagated as a pointer type. Should I open > > another bug report for this? > > array types decay to pointers for parameters ... I know they are the same most of the time; however, knowing the variable is an array will be more beneficial than just knowing it as a standard pointer, as an array implies the data will be within a bounded area, while a pointer type will not be able to make such an implication.