[sdcc-devel] [ sdcc-Bugs-3489870 ] _Noreturn optimization shouldn't need visible definition

[SourceForge.net <no...@so...>]

Bugs item #3489870, was opened at 2012-02-21 00:23
Message generated for change (Comment added) made by epetrich
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100599&aid=3489870&group_id=599

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
>Category: C-Front End
>Group: fixed
>Status: Closed
>Resolution: Fixed
Priority: 2
Private: No
Submitted By: Philipp Klaus Krause (spth)
>Assigned to: Erik Petrich (epetrich)
Summary: _Noreturn optimization shouldn't need visible definition

Initial Comment:
Currently, _Noreturn optimization works only if there is a definition with _Noreturn visible. It should also work if there's a _Noreturn declaration visible. See the attached code for an example: In function g2(), the x++ is optimized out and we get a warning about unreachable code. The same should happen for g1(), but it doesn't. I see this issue in 3.1.2 #7336. This bug does not cause non-compliant behaviour, so I give it low priority.

Philipp


----------------------------------------------------------------------

>Comment By: Erik Petrich (epetrich)
Date: 2012-02-22 01:39

Message:
Fixed in revision #7340

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100599&aid=3489870&group_id=599