<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/91235>91235</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            polly/include/polly/ScheduleTreeTransform.h:52: assert in wrong place ?
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            code-quality,
            polly
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          dcb314
      </td>
    </tr>
</table>

<pre>
    Static analyser cppcheck says:

polly/include/polly/ScheduleTreeTransform.h:52:7: style: Statements following 'return' will never be executed. [unreachableCode]

Source code is

    case isl_schedule_node_set:
      return getDerived().visitSet(Node.as<isl::schedule_node_set>(),
 std::forward<Args>(args)...);
 assert(isl_schedule_node_n_children(Node.get()) >= 2);

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyckjGTmzAQhX_N0miOgRUYU1D47FCm8fUeIS2gRJYcSdjxv8_I5hLPJFUoQCP03n67eiIEPVmiDup3qA-ZWOLsfKfkwMsqG5y6d8coopZMWGHugTyTl4ucSX5nQdwD8B0UByjW98UZcwfstZVmUQTYf-4c5UxqMfThiT68sGF0_pzPwHc1At81wHcsxLuhtEgl6Uw2BjY6Y9xN24kBNp7i4i1gw27aGGbpSp4NxOgnySWSyhnU74v1JOQsBkN7pwjqwyvh0S1eEpNOEdPh9Q9jjEkR0rY5hRX3ZJ2iU6D4u1H2eJ4kbKJ4IK-vpAC3gG1-1UHHI0XA7VenKBcB-F4Hk-R89w_XL08h4H61D1E9D4_O34RXwPc7P4XnSZFW2OZ5njT8fdWIEMinmn-j25OctVGe7CfS9KB71GxZsuUHhq92meq4ankrMurKpqyLkpdYZXNH5dDwYtPwsd42dTkMslJDuS23uJUttjzTHRZYFXWxKTcciyqvUYxjXdZqMyKpjYSqoLPQJjfmes6dnzIdwkJdWyKvMyMGMuERRcR0Q28_FmF0vANiGhDimiZMUfVdMnkblilAVRgdYvhjG3U01P13HNeJMm3ZzTs7sYsRkhjwPlu86eYYL4_oYw_YTzrOy5BLdwbsE8H6ebt4941kTACpywDYPxr9FQAA__91nRYL">