[Ada] Crash on right shift operator for signed integers
authorJustin Squirek <squirek@adacore.com>
Mon, 12 Oct 2020 16:06:08 +0000 (12:06 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 25 Nov 2020 13:22:31 +0000 (08:22 -0500)
commite480bca2400d891bbde62e68d6a8f573848c22c6
treefb218822eb6d695b0ebe328ddb551c1a71235590
parent4d617c3f2ad9a6a4f8718cd216421eeb65ede262
[Ada] Crash on right shift operator for signed integers

gcc/ada/

* doc/gnat_rm/intrinsic_subprograms.rst (Shifts and Rotates):
Document behavior on negative numbers
* gnat_rm.texi: Regenerate.
* sem_eval.adb (Fold_Shift): Set modulus to be based on the RM
size for non-modular integer types.
gcc/ada/doc/gnat_rm/intrinsic_subprograms.rst
gcc/ada/gnat_rm.texi
gcc/ada/sem_eval.adb