]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 268258b) | patch
ada: Simplify tests for positive rational numbers
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 24 Feb 2025 09:40:16 +0000 (10:40 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 6 Jun 2025 08:37:15 +0000 (10:37 +0200)
commit45a305c3c7b431c5be761dd7e05cc99384b32b32
treed3656dcd7fdbc393c2060071e183b542c8b64b8ftree
parent268258b222502feddf365600ccd20967c4216209commit | diff
ada: Simplify tests for positive rational numbers

Checking a rational number for being positive takes a shorter code path than
a general comparison with zero. Code cleanup; semantics is unaffected.

gcc/ada/ChangeLog:

* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Tune code for
attribute Small.
* sem_prag.adb (Analyze_Attribute): Tune code for pragma Time_Slice.
gcc/ada/sem_ch13.adb diff | blob | blame | history
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git