[polly] Add diagnostic remark for ReportVariantBasePtr

[Andreas Simbuerger]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

- --- examples/polli » pclang -S -g -gcolumn-info -emit-llvm -O3 -mllvm
- -polly-detect-track-failures -mllvm -polly-detect-keep-going -mllvm
- -polly -Xclang -Rpass-missed="polly-detect" -c tobi-scop.c
tobi-scop.c:6:8: remark: The following errors keep this region from
being a Scop.
      [-Rpass-missed=polly-detect]
  for (int i = 0; i < 32; i++)
       ^
tobi-scop.c:7:5: remark: The base address of this array is not
invariant inside the loop
      [-Rpass-missed=polly-detect]
    A->b[i] = A->b[i + 1];
    ^
tobi-scop.c:7:5: remark: The base address of this array is not
invariant inside the loop
      [-Rpass-missed=polly-detect]

In this case here I have -Rpass-missed -g -gcolumn-info specified.

I would expect the first remark pinned at line 7 column 5
and the second remark pinned at the read in line 7 column 17.

However, the IR only contains dbg nodes for line 7 column 5 inside the
loop body. Tobi's patch further up in the thread fixes it.

Andreas

On 06/26/2014 11:03 PM, Diego Novillo wrote:
> On Thu, Jun 26, 2014 at 4:59 PM, David Blaikie <dblaikie at gmail.com>
> wrote:
>> The current state is that just using -R should do the right
>> thing (include column info everywhere), but using it combined
>> with any -g will omit column info unless you request it
>> explicitly (-gcolumn-info).
> 
> Not really. I took that out because you were concerned about the 
> differences between -R and -g. So, right now -Rpass by itself only 
> turns on loc tracking. That's why I'm interested in having debug
> info (and loc tracking) always have column information enabled.
> 
> 
> Diego.
> 

- -- 
Andreas Simbürger
University of Passau - Programming Group
http://www.infosun.fim.uni-passau.de/cl/staff/simbuerger/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBAgAGBQJTrItuAAoJELS7a/6Ti2HYimAIAKiRYEpen7XDgEVJzzOK6CZo
AuzpmzDzZxg2UeWhywK2mPzP2k0BknvAlIWKOdT6YykYMvSlWb6tcQ5tu0AVrUVB
HZMoHNJxMj5qe5bNnCbacOkVivMw+aCkVHMGqyiXcKQTIlIrH98aBoJOiVzBhvv3
NeSgl7iNa8x3tycrekuCAqQKogG5GKHUN3s877t1EHN6lEvySJJWFaUzGoyZIdFl
6/rQP+9d1Hoy/1EpSuGUaP+qwNvwj5y0M9qlby7hxUK5hMslvf+pRkvY/hG/giPa
xMUnUB1TM1QHVMHARnN56ves6JcS2ORPgiIxQmpO4CbVSTQhGT0x6NfafZi5J5c=
=Q3TA
-----END PGP SIGNATURE-----