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