diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-09 07:53:55 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-09 07:53:55 +0000 |
| commit | 5dd6327237996b7f4103e11c76aac01bf2420e19 (patch) | |
| tree | 75b40868a79ba88a16cdb312f380f4ee0d5f876d /libcpp/line-map.c | |
| parent | a569f21920e9f53489a59be84c44d6345bbbfa6d (diff) | |
| download | gcc-5dd6327237996b7f4103e11c76aac01bf2420e19.zip gcc-5dd6327237996b7f4103e11c76aac01bf2420e19.tar.gz gcc-5dd6327237996b7f4103e11c76aac01bf2420e19.tar.bz2 | |
[Ada] Expand type of static expressions in GNATprove mode
In the special mode for GNATprove, expand the type of static expressions
like done during compilation, to both get suitable legality checks and
increase the precision of the formal analysis.
There is no impact on compilation.
2019-07-09 Yannick Moy <moy@adacore.com>
gcc/ada/
* exp_util.adb (Expand_Subtype_From_Expr): Still expand the type
of static expressions in GNATprove_Mode.
* sem_ch3.adb (Analyze_Object_Declaration): Remove obsolete
special case for GNATprove_Mode.
From-SVN: r273273
Diffstat (limited to 'libcpp/line-map.c')
0 files changed, 0 insertions, 0 deletions