[Bug libstdc++/98749] New: No precondition checks in , and

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

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

            Bug ID: 98749
           Summary: No precondition checks in <semaphore>, <latch> and
                    <barrier>
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libstdc++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: redi at gcc dot gnu.org
  Target Milestone: ---

We should be checking preconditions like:

 Preconditions: desired >= 0 is true, and desired <= max() is true.