* gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial
commitaed0b1b3b2a8f67f714255918da68dfc862c84e6
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 2 Apr 2011 08:59:45 +0000 (2 08:59 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 2 Apr 2011 08:59:45 +0000 (2 08:59 +0000)
treed5038c6b13bc19996e82bcbc51df525f54af3324
parent7a7bd833ceceaf9d5039eb82fe7b356154ab058b
* gcc-interface/utils.c (gnat_pushdecl): If this is a non-artificial
declaration of a pointer type, then set DECL_ORIGINAL_TYPE to a
distinct copy.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@171885 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gcc-interface/utils.c