------- Comment #7 from pinskia at gcc dot gnu dot org 2007-06-16 21:16 -------
But I am not 100% the rest of the correct is correct.
Daniel/Pop,
Could you look into my patch to see if it is correct? My pointer_plus
exposed a latent bug with chrec_component_in_loop_num:
for
initial_condition_in_loop_num({{&BinomialCoefficients[0], +, 4}_1, +, {0, +,
4}_1}_1, 1)
We were creating:
{&BinomialCoefficients[0], +, {&BinomialCoefficients[0], +, 4}_1 }_1
Which does not make sense at all. because the second iteration of the loop, we
would have
&BinomialCoefficients[0] + &BinomialCoefficients[0] which does not make sense.
Do you agree that for
initial_condition_in_loop_num({{&BinomialCoefficients[0], +, 4}_1, +, {0, +,
4}_1}_1, 1)
Should return &BinomialCoefficients[0] ?
Thanks,
Andrew Pinski
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dberlin at gcc dot gnu dot
| |org, spop at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32367
