Le 15/07/2023 à 08:11, Paul Richard Thomas a écrit :
Please either remove or
uncomment the line:
// gcc_assert (se.pre.head == NULL_TREE && se.post.head == NULL_TREE);
I presume that it reflects some case where the assertion failed? If
so, it might be prudent to retain the assertion especially in light
of:
gcc_assert (tmp_se.post.head == NULL_TREE); a bit further down.
I have finally found an example making the assert fail and pushed the
patches with the assert removed and the test added to the testsuite.