Several wlur-related crashes
I am still trying to make the apex unit test suite run without crashing. This crash, in UTIndexSet.sac, seems to have appeared recently, perhaps coincident with Bodo's fix for Issue #2337 (closed):
sac2c crud2.sac -nowlur -maxspec 0
Warning:
With-Loop unrolling (WLUR) was disabled using the command line. However, unrolling of single-trip with-loops
is required for code generation. Therefore, WLUR will be re-enabled with the maximum number of unrolling steps set
to 1.
./crud2.sac:35: abort:
loop variable "x" is being used inconsistently in function _dup_486_sameIIB__Cond_0;
conflicting types are int[.] and #1941: in [ --, int[4]] le <> ge <>
This is the result of a pre-caffeine thinko:
sac2c -V
sac2c 1.3.3-MijasCosta-1064-ge8e8b
build-type: RELEASE
built-by: "sac" at 2023-05-05T08:36:19
apex@medusa:~/apexgit/Ancillary/benchmks/UnitTests/UTIndexSet/crud$ sac2c crud2.sac -maxwlur 0
Internal compiler error
Program reached impossible state at /home/sac/sac2c/src/libsac2c/wltransform/wltransform.c:6971 -- with-loop with empty iteration space found!
More simplification, by inlining some of sameIIB, gave me this:
A_276 = all( v_4 == [3, 2, 1, 0]);
//A_276=sameIIB(v_4,[3, 2, 1, 0]);
sac2c crud2.sac -maxwlur 0 -maxspec 0
Internal compiler error
Assertion "(NTYPE_CON (array) == TC_aks) || (NTYPE_CON (array) == TC_akv)" failed at /home/sac/sac2c/src/libsac2c/typecheck/new_types.c:917 -- TYgetShape applied to other than AKV or AKS type!