Patch for bug 20742

[Giovanni Bajo]

Sebastian Pop <sebastian.pop@cri.ensmp.fr> wrote:

> Hi,
> 
> This is a possible solution for limiting the size of the expressions
> we deal with in the scev analyzer.  As it is implemented in this
> patch, the biggest expression that does not contain other chrecs is
> 10: i.e. on the testcase this corresponds to
> 
> b_13 + b_212 + b_15 + b_17 + b_19 + b_21 + b_23 + b_25 + b_27 + b_29
> 
> and after this it returns chrec_don_know.  Better solutions for
> chosing this magic number are welcome.

Can you move the magic number into a param?

Giovanni Bajo