[polly] r229252 - Overaproximate divisions in for the alias checks.

[Tobias Grosser]

On 14.02.2015 13:00, Johannes Doerfert wrote:
> Author: jdoerfert
> Date: Sat Feb 14 06:00:06 2015
> New Revision: 229252
>
> URL: http://llvm.org/viewvc/llvm-project?rev=229252&view=rev
> Log:
> Overaproximate divisions in for the alias checks.
>
>    Alias checks might become costly if there are divisions that complicate the
>    description of the accessed locations. By overaproximating them we get fairly
>    accurate results without the huge compile time cost.

A test case would be nice here.

Also, can you explain why this approximation is always save?

Tobisa