https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87917
Sebastian Pop <spop at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |spop at gcc dot gnu.org
--- Comment #3 from Sebastian Pop <spop at gcc dot gnu.org> ---
> Sebastian - can you say if
> evolution_function_is_affine_multivariate_p ({0, +, {0, +, 4}_1}_2, 1)
> should really return true?
You are right, {0, +, {0, +, 4}_1}_2 is not a valid affine multivariate
function: only the base (not the step) should vary in an outer loop.
For example, this would be an affine multivariate: {{0, +, 4}_1, +, 42}_2.
