[Ada] Sinfo: update doc about Do_Division/Overlflow/Range_Check
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 22 Jul 2019 13:58:37 +0000 (13:58 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 22 Jul 2019 13:58:37 +0000 (13:58 +0000)
commitae3f6530573deaa7485be45662e506af7a56cfa9
tree6692ee40d29aa192a129189be09dc07b10ee7f64
parent267c7ff6a07158cb9b904a8a5182ab498b039c72
[Ada] Sinfo: update doc about Do_Division/Overlflow/Range_Check

2019-07-22  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* sinfo.ads: Update the documentation about the
Do_Division_Check, Do_Overflow_Check and Do_Range_Check flags.

From-SVN: r273696
gcc/ada/ChangeLog
gcc/ada/sinfo.ads