https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82384
--- Comment #5 from H.J. Lu <hjl.tools at gmail dot com> --- (In reply to H.J. Lu from comment #4) > (In reply to Pierre-Marie de Rodat from comment #1) > > Created attachment 42273 [details] > > Tentative untested fix > > > > Hello, > > > > Thank you for reporting this. Could you please check that the attached > > I am testing it now. It doesn't work: [hjl@gnu-efi-2 rts_x32]$ /export/build/gnu/gcc-x32/build-x86_64-linux/./gcc/xgcc -B/export/build/gnu/gcc-x32/build-x86_64-linux/./gcc/ -B/usr/gcc-8.0.0-x32/x86_64-pc-linux-gnu/bin/ -B/usr/gcc-8.0.0-x32/x86_64-pc-linux-gnu/lib/ -isystem /usr/gcc-8.0.0-x32/x86_64-pc-linux-gnu/include -isystem /usr/gcc-8.0.0-x32/x86_64-pc-linux-gnu/sys-include -c -g -O2 -mx32 -fpic -W -Wall -gnatpg -nostdinc -mx32 s-osinte.adb -o s-osinte.o s-osinte.adb:93:07: warning: ineffective use clause for type "System.Linux.time_t" [hjl@gnu-efi-2 rts_x32]$
