[Bug tree-optimization/102091] New: some interesting looking code in gimple_could_trap_p_1 in gimple.c

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

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

            Bug ID: 102091
           Summary: some interesting looking code in gimple_could_trap_p_1
                    in gimple.c
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: internal-improvement
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

The code looks like
      return (operation_could_trap_p (op, FLOAT_TYPE_P (t),
                                      (INTEGRAL_TYPE_P (t)
                                       && TYPE_OVERFLOW_TRAPS (t)),
                                      div));

the result of the function call operation_could_trap_p  is not used at all.

If I understand this correctly, it is testing if div is non-null only.
So it is only returning true always for gimple binary cases.


This code has been wrong since the merge of the tuples branch.