https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86940
--- Comment #4 from Aritz Erkiaga ---
Ok, then this is not a bug. Maybe a feature request?
Well, actually I think it would be safe for the compiler to assume that libc
(and possibly other external libraries) don't have access to variables define
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86940
--- Comment #2 from Aritz Erkiaga ---
I don't know. Somehow it does know it when the testcase is compiled without any
-O flags, but it not something trivial, and so I would not be surprised if GCC
were not able to get that information.
Assignee: unassigned at gcc dot gnu.org
Reporter: aerkiaga6 at gmail dot com
Target Milestone: ---
Created attachment 44532
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44532&action=edit
Preprocessed source
Compiling the code with the following command:
