[Bug c/96054] New: RFE: __attribute__((fatal))

["hpa at zytor dot com" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96054

            Bug ID: 96054
           Summary: RFE: __attribute__((fatal))
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hpa at zytor dot com
  Target Milestone: ---

__attribute__((error)) and __attribute__((warning)) are useful, but have, in
some places, poor semantics. It would be really good to have a function
attribute which would trigger if "all roads lead to Rome", but would allow the
function to be called dynamically at runtime under other circumstances. A good
example on when this applies is a failure case in a default statement of a
switch, or as a way to trap assert() at compile time.

Specifically, to avoid impossible-to-analyze conditions involving functions
never called and functions potentially not returning (e.g. calling longjmp()),
I propose the following semantics:

"For any function that is itself not marked "fatal", if the compiler can
determine at compile time that there exists no control flow path between
function entry and function return that does not call a function marked
"fatal", issue a compile-time diagnostic."

This diagnostic would presumably be a warning, that the user can promote to
error during development.

There may be better way to accomplish this, but something like it would be very
useful.


For example:

extern void __attribute__((noreturn,fatal)) panic(void);
extern void myfunc(void);
extern int stuff(void);
extern int more_stuff(void);

int foo(int x)
{
    x &= 3;

    myfunc();

    switch (x) {
        case 4:
             x = stuff(); break;
        case 5:
             x = more_stuff(); break;
        case 6:
             break; /* leave x unchanged */
        default:
             panic(); break;   /* we can catch this error at compile time! */
     }

     return x;
}