| commit | 0333af4d174c86cb7b908ac702318f1de7bc6dec | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Sat, 11 Feb 2023 20:09:11 +0000 (11 21:09 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 23 May 2023 07:50:58 +0000 (23 09:50 +0200) | ||
| tree | c409a95462faaab3b0806680a24d221929731d7f | treesnapshot (tar.gz zip) |
| parent | 0b369aed43e622b0cf67879e84e4b4adf401b350 | commitdiff |
ada: Transfer fix for pretty-printed parentheses from GNATprove to GNAT
Expressions with parentheses are notoriously problematic to
pretty-print. In GNATprove we had a post-processing fix for them,
but it is better to have this fix in the GNAT frontend repository
and apply it for CodePeer as well.
gcc/ada/
* pprint.adb (Expression_Image): Move Count_Parentheses and
Fix_Parentheses routines from GNATprove and apply them before
returning the slice of a source code buffer.
Expressions with parentheses are notoriously problematic to
pretty-print. In GNATprove we had a post-processing fix for them,
but it is better to have this fix in the GNAT frontend repository
and apply it for CodePeer as well.
gcc/ada/
* pprint.adb (Expression_Image): Move Count_Parentheses and
Fix_Parentheses routines from GNATprove and apply them before
returning the slice of a source code buffer.
| gcc/ada/pprint.adb | diffblobblamehistory |