[Bug tree-optimization/127183] New: [16/17 Regression] non-call exceptions for write to this->a is considered as not throw

[pinskia at gcc dot gnu.org]

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

            Bug ID: 127183
           Summary: [16/17 Regression] non-call exceptions for write to
                    this->a is considered as not throw
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Keywords: easyhack, EH, wrong-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: pinskia at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

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

stmt_could_throw_1_p needs to use `tree_could_trap_1(...,true)` for this:

  /* First check the LHS.  */
  if (tree_could_trap_p (gimple_assign_lhs (stmt)))
    return true;