diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2024-01-10 13:32:04 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-07 09:55:58 +0200 |
commit | c6b06faa3ccb2b12b80ee682d3f22a7f5aa9ddd3 (patch) | |
tree | b02df80883e23eb4515e940f78b40ac97e9dc597 /gcc/ada/ali.ads | |
parent | cf14e7c1db2f20d9dbcc8c3efdebe549ec5eec80 (diff) | |
download | gcc-c6b06faa3ccb2b12b80ee682d3f22a7f5aa9ddd3.zip gcc-c6b06faa3ccb2b12b80ee682d3f22a7f5aa9ddd3.tar.gz gcc-c6b06faa3ccb2b12b80ee682d3f22a7f5aa9ddd3.tar.bz2 |
ada: Prevent calculation of negative stack counts
Negative numbers of stack counts have no meaning.
gcc/ada/
* lib.ads, lib.adb (Primary_Stack_Count, Sec_Stack_Count,
Increment_Primary_Stack_Count, Increment_Sec_Stack_Count,
Unit_Record): Stack counts are never negative.
* ali.ads (Unit_Record): Likewise.
* bindgen.adb (Num_Primary_Stacks, Num_Sec_Stacks): Likewise.
* exp_ch3.adb (Count_Default_Sized_Task_Stacks): Likewise.
* sem_util.ads, sem_util.adb (Number_Of_Elements_In_Array):
Likewise.
Diffstat (limited to 'gcc/ada/ali.ads')
-rw-r--r-- | gcc/ada/ali.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/ali.ads b/gcc/ada/ali.ads index 23c7444..67b8fcd 100644 --- a/gcc/ada/ali.ads +++ b/gcc/ada/ali.ads @@ -482,11 +482,11 @@ package ALI is -- Indicates whether a package body or a spec has a library-level -- finalization routine. - Primary_Stack_Count : Int; + Primary_Stack_Count : Nat; -- Indicates the number of task objects declared in this unit that have -- default sized primary stacks. - Sec_Stack_Count : Int; + Sec_Stack_Count : Nat; -- Indicates the number of task objects declared in this unit that have -- default sized secondary stacks. end record; |