[Bug rtl-optimization/97439] New: Wrong min value generated for DFP numbers

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

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

            Bug ID: 97439
           Summary: Wrong min value generated for DFP numbers
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: krebbel at gcc dot gnu.org
  Target Milestone: ---

Created attachment 49374
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49374&action=edit
Testcase

The attached testcase aborts on IBM Z when compiled with:
gcc -O1 t.c -o t

commit id: c1c62aec6751

The x > -Inf comparison is folded by match.pd to x >= DFP128 MIN

However the sign bit is lost when generating DFP128 MIN in decimal_real_maxval