[polly] Add diagnostic remark for ReportVariantBasePtr

[Tobias Grosser]

On 26/06/2014 21:16, Andreas Simbürger wrote:
> What was the exact output?

polly-clang /tmp/test.c  -c -mllvm -polly -O3  -Rpass-missed=polly 
-mllvm -polly-detect-track-failures -mllvm -polly-detect-keep-going 
-gcolumn-info
/tmp/test.c:6:9: remark: The following errors keep this region from 
being a Scop.
       [-Rpass-missed=polly-detect]
    for (int i=0; i<32; i++)
         ^
/tmp/test.c:7:6: remark: The base address of this array is not invariant 
inside the loop
       [-Rpass-missed=polly-detect]
      A->b[i] = A->b[i+p];
      ^
/tmp/test.c:7:6: remark: The base address of this array is not invariant 
inside the loop
       [-Rpass-missed=polly-detect]


> I would expect the source location reported for the write and then just the
> message with the line/column info but without
> source code.

Both remarks give the very same location. I would have expected the 
first one referring to the first memory address, the second one to the 
second memory address. (I would also expect to see the source line 
twice. Once with the caret at the first read, once at the second).



Cheers,
Tobias