[Bug c/116193] New: enhancement: type attribute that causes overflow for unsigned integer types to trap

[uecker at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 116193
           Summary: enhancement: type attribute that causes overflow for
                    unsigned integer types to trap
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: uecker at gcc dot gnu.org
  Target Milestone: ---

It would be nice to have an attribute that one can add to an unsigned integer
type that makes overflow trap.

typedef unsigned int __attribute__ ((__overflow__)) positive_int;