[Bug middle-end/31707] Spurious "'<variable>' may be used uninitialized in this function" warnings when using __builtin_setjmp and loops and extern function call

[pinskia 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