[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: shouldn't Fsignal be marked NORETURN?
|
From: |
Dan Nicolaescu |
|
Subject: |
Re: shouldn't Fsignal be marked NORETURN? |
|
Date: |
Fri, 07 Apr 2006 14:13:31 -0700 |
Stefan Monnier <address@hidden> writes:
> > Any reason not to?
>
> The `quit' signal can be continued.
OK, thanks.
Then report_file_error can be marked as NORETURN, right?
In case you are wondering, I am looking at the Coverity bug reports
and some of them were not correct because of Fsignal.
--dan