This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/31707] Spurious "'<variable>' may be used uninitialized in this function" warnings when using __builtin_setjmp and loops and extern function call
- From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 26 May 2008 11:57:18 -0000
- Subject: [Bug middle-end/31707] Spurious "'<variable>' may be used uninitialized in this function" warnings when using __builtin_setjmp and loops and extern function call
- References: <bug-31707-14467@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #6 from pinskia at gcc dot gnu dot org 2008-05-26 11:57 -------
As mentioned this is a very hard problem to solve. The compiler has to track
all uses of __builtin_setjmp and __builtin_longjmp but of which are really only
used for Ada eh usage really. So using it inside code which is not Ada code
what do you expect? Look at how the CFG is created and you will notice it is a
hard problem to solve.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |enhancement
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31707