Re: [PATCH 2/2] Fix PR47594: Build signed niter expressions

[Richard Guenther]

On Tue, 2 Aug 2011, Sebastian Pop wrote:

> --- a/gcc/graphite-scop-detection.c
> +++ b/gcc/graphite-scop-detection.c
> @@ -196,6 +196,12 @@ graphite_can_represent_scev (tree scev)
>    if (chrec_contains_undetermined (scev))
>      return false;
>  
> +  /* FIXME: As long as Graphite cannot handle wrap around effects of
> +     induction variables, we discard them.  */
> +  if (TYPE_UNSIGNED (TREE_TYPE (scev))
> +      && !POINTER_TYPE_P (TREE_TYPE (scev)))
> +    return false;

What does it take to fix that?