diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:31:39 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:31:39 +0000 |
| commit | 2cf8eabd48500b8d2480301020bd2aa82cf6556d (patch) | |
| tree | c2dbb61ab4220dd6fa0227fb21a70be00dfc9bed /gcc/tree-vrp.c | |
| parent | 45a6947d0f40ca6bfebd430969087e0595c47cb8 (diff) | |
| download | gcc-2cf8eabd48500b8d2480301020bd2aa82cf6556d.zip gcc-2cf8eabd48500b8d2480301020bd2aa82cf6556d.tar.gz gcc-2cf8eabd48500b8d2480301020bd2aa82cf6556d.tar.bz2 | |
[multiple changes]
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* spark_xrefs.ads (SPARK_Xref_Record): Replace file and scope indices
with Entity_Id of the reference.
* spark_xrefs.adb (dspark): Adapt pretty-printing routine.
* lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Store Entity_Id of the
reference, not the file and scope indices.
2017-11-08 Arnaud Charlet <charlet@adacore.com>
* errout.ads (Current_Node): New.
* errout.adb (Error_Msg): Use Current_Node.
* par-ch6.adb, par-ch7.adb, par-ch9.adb, par-util.adb: Set Current_Node
when relevant.
* style.adb: Call Error_Msg_N when possible.
From-SVN: r254543
Diffstat (limited to 'gcc/tree-vrp.c')
0 files changed, 0 insertions, 0 deletions