Fixes boolean flag handling for Unsigned_Base_Range aspect
Corrects an issue where the `Unsigned_Base_Range` aspect was erroneously enabled when set to `False`.
This commit fixes an issue where the Unsigned_Base_Range aspect was incorrectly enabled even when explicitly set to False. The fix ensures that the corresponding pragma is only generated when the aspect is set to True and corrects initialization of the Is_Unsigned_Base_Range_Type_Decl variable.
In Details
The fix modifies sem_ch13.adb and sem_ch3.adb to properly handle the boolean flag associated with the Unsigned_Base_Range aspect. It skips pragma generation when the aspect is False and corrects initialization of the Is_Unsigned_Base_Range_Type_Decl variable during type declaration analysis.
For Context
Ada allows specifying aspects, which are additional properties, for data types. This commit fixes a bug related to the Unsigned_Base_Range aspect. The Unsigned_Base_Range aspect allows specifying if the base range of a type should be unsigned. The compiler was incorrectly enabling this aspect even when it was explicitly set to False, which is now corrected.