[Bug libstdc++/107792] New: Output of default contract violation handler could be improved

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

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

            Bug ID: 107792
           Summary: Output of default contract violation handler could be
                    improved
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P3
         Component: libstdc++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: redi at gcc dot gnu.org
  Target Milestone: ---

int f(int x) [[pre: x > 0]] [[post r: r > 0]]
{
  return -5;
}

int main()
{
  f(42);
}


default std::handle_contract_violation called: 
 fail.cc 1 f r > 0 default default 0
terminate called without an active exception
Aborted (core dumped)


We should label the fields so that "fail.cc 1 f r > 0 default default 0" makes
sense.