https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111716
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (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 ...