diff options
| author | Yannick Moy <moy@adacore.com> | 2018-05-24 13:06:34 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-24 13:06:34 +0000 |
| commit | d72ba19f9940286ba9e297fe45b9b2d802aee549 (patch) | |
| tree | f43b5f352e5bc281c8b22e5a3332fb0c231848ae /gcc/ada/fmap.ads | |
| parent | 24e959661f42da6c5c65de96a7c9d88082c3ffd8 (diff) | |
| download | gcc-d72ba19f9940286ba9e297fe45b9b2d802aee549.zip gcc-d72ba19f9940286ba9e297fe45b9b2d802aee549.tar.gz gcc-d72ba19f9940286ba9e297fe45b9b2d802aee549.tar.bz2 | |
[Ada] Improve GNATprove messages on unproved checks
GNATprove messages may point out to part of an assertion as not being proved,
and in such a case it displays the sub-expression. This code relies on
Pprint.Expression_Image, which is improved here to display better some kinds of
expressions.
There is no impact on compilation.
2018-05-24 Yannick Moy <moy@adacore.com>
gcc/ada/
* pprint.adb (Expression_Image): Improve the printing of expressions,
by taking more cases into account, in particular qualified expressions
and aggregates. Also count more the number of parentheses to close
after the expression.
From-SVN: r260665
Diffstat (limited to 'gcc/ada/fmap.ads')
0 files changed, 0 insertions, 0 deletions