]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/freeze.adb
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / freeze.adb
2021-07-12  Bob Duff[Ada] Clean up Uint fields
2021-07-08  Bob Duff[Ada] Remove Unknown_ functions
2021-07-07  Gary Dismukes[Ada] Implement new legality checks specified by AI12...
2021-07-05  Steve Baird[Ada] Add Ada 2022 Image and Put_Image support for...
2021-07-05  Justin Squirek[Ada] Fix crash when printing error message
2021-07-05  Bob Duff[Ada] Clean up Get_Index_Bounds
2021-06-29  Piotr Trojanek[Ada] Reuse Is_Subprogram_Or_Entry where possible
2021-06-18  Javier Miranda[Ada] Ada2020: AI12-0195 overriding class-wide pre...
2021-06-18  Arnaud Charlet[Ada] Premature freezing of types
2021-06-18  Bob Duff[Ada] Remove AAMP from compiler sources
2021-06-16  Eric Botcazou[Ada] Do not perform useless work in Check_No_Parts_Vio...
2021-06-15  Bob Duff[Ada] No_Task_Parts aspect
2021-06-15  Gary Dismukes[Ada] Error when passing subprogram'Access to null...
2021-05-07  Bob Duff[Ada] Minor reformattings
2021-05-07  Bob Duff[Ada] Variable-sized node types
2021-05-07  Justin Squirek[Ada] Implement aspect No_Controlled_Parts
2021-05-06  Piotr Trojanek[Ada] Remove excessive conditions in iterations across...
2021-05-05  Piotr Trojanek[Ada] Remove redundant check in iteration over formal...
2021-05-03  Arnaud Charlet[Ada] Update copyright notice
2021-05-03  Piotr Trojanek[Ada] Fix calls to Error_Msg_NE instead of Error_Msg_N
2021-04-29  Arnaud Charlet[Ada] Self reference access discriminant
2021-04-28  Yannick Moy[Ada] Use spans instead of locations for compiler diagn...
2021-03-29  Eric BotcazouFix wrong assignment of aggregate to full-access component
2020-12-17  Yannick Moy[Ada] Fixes for GNAT error/warning messages
2020-12-15  Arnaud Charlet[Ada] Transform_Function_Array issues
2020-11-30  Eric Botcazou[Ada] Expand integer-only implementation of ordinary...
2020-11-26  Eric Botcazou[Ada] Add support for 128-bit fixed-point types on...
2020-11-26  Bob Duff[Ada] Pass base type to Set_Has_Own_Invariants
2020-11-26  Piotr Trojanek[Ada] Reuse Is_Access_Object_Type where possible
2020-11-25  Ed Schonberg[Ada] Further optimization with uninitialized aggregates
2020-11-24  Piotr Trojanek[Ada] Reuse In_Same_List where possible
2020-10-27  Arnaud Charlet[Ada] New flag Transform_Function_Array
2020-10-26  Ed Schonberg[Ada] Crash on membership test in expression function
2020-10-23  Eric Botcazou[Ada] Implement new legality rules introduced in C...
2020-10-23  Ed Schonberg[Ada] Crash on expression function and access type
2020-10-23  Ed Schonberg[Ada] Prevent copying uninitialized array with address...
2020-10-21  Eric Botcazou[Ada] Basic support for 128-bit types
2020-10-21  Eric Botcazou[Ada] Fix bogus error for bit-packed array with volatil...
2020-10-19  Arnaud Charlet[Ada] ACATS 4.1R - Exception missed
2020-10-16  Piotr Trojanek[Ada] Assorted style cleanups
2020-10-16  Eric Botcazou[Ada] Add Max_Integer_Size attribute and couple of...
2020-10-15  Javier Miranda[Ada] Ada2020: AI12-0003 Specifying the standard storag...
2020-10-15  Ed Schonberg[Ada] Crash on subtype of fixed-point type
2020-07-27  Arnaud Charlet[Ada] Use membership tests in front-end
2020-07-15  Eric Botcazou[Ada] Do not generate elaboration code for alignment...
2020-07-15  Eric Botcazou[Ada] Fix oversight in Delayed_Aspect_Present predicate
2020-07-10  Arnaud Charlet[Ada] Use small limit for aggregates inside subprograms
2020-07-10  Eric Botcazou[Ada] Fix crash on quantified expression in expression...
2020-07-10  Eric Botcazou[Ada] Fix crash on quantified expression in expression...
2020-07-08  Eric Botcazou[Ada] Fix internal error on string type comparision...
2020-07-08  Eric Botcazou[Ada] Fix incorrect placement of freeze node with predicate
2020-07-08  Eric Botcazou[Ada] Add comment on implementation choice for byte...
2020-07-08  Bob Duff[Ada] Check predicates for subtypes of private types
2020-07-07  Eric Botcazou[Ada] Small adjustment in the handling of alignment...
2020-07-07  Ed Schonberg[Ada] Handle explicit dereferences in expression functions
2020-07-06  Gary Dismukes[Ada] Various typo fixes and reformatting of comments
2020-06-18  Javier Miranda[Ada] Crash in tagged type constructor with task components
2020-06-17  Javier Miranda[Ada] Crash in tagged type constructor with task components
2020-06-16  Eric Botcazou[Ada] Couple of formatting and stylistic fixes
2020-06-16  Eric Botcazou[Ada] Fix premature freezing of artificial array subtype
2020-06-16  Eric Botcazou[Ada] Fix small fallout of freezing change for expressi...
2020-06-16  Ed Schonberg[Ada] Spurious undefined symbol with nested call to...
2020-06-15  Ed Schonberg[Ada] Link failure with call to expression function...
2020-06-10  Arnaud Charlet[Ada] Remove more references to ASIS
2020-06-09  Eric Botcazou[Ada] Implement AI12-0028: Import of variadic C functions
2020-06-03  Piotr Trojanek[Ada] Iterate with procedural versions of Next_......
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
2019-12-16  Eric Botcazou[Ada] Remove new strict-alignment check added by AI12...
2019-12-16  Eric Botcazou[Ada] AI12-0001: Independence and Representation clause...
2019-12-16  Eric Botcazou[Ada] Implement new legality rules introduced in C...
2019-12-12  Piotr Trojanek[Ada] Fix repeated words and typos in doc and comments
2019-10-10  Arnaud Charlet[Ada] Ensure constructor is a C++ constructor
2019-09-18  Steve Baird[Ada] No Storage_Error for an oversized disabled ghost...
2019-08-20  Bob Duff[Ada] Improve generated code for initialization of...
2019-08-19  Bob Duff[Ada] Factor out the "size for& too small..." error...
2019-08-14  Gary Dismukes[Ada] Equality for nonabstract type derived from interf...
2019-08-12  Eric Botcazou[Ada] Improve error message for Object_Size clause...
2019-07-22  Ed Schonberg[Ada] Incorrect values in conversion from fixed-point...
2019-07-22  Javier Miranda[Ada] Crash in C++ constructor without external and...
2019-07-09  Yannick Moy[Ada] Prevent inconsistent state for inlining in GNATprove
2019-07-03  Eric Botcazou[Ada] Extend -gnatw.z warning to array types
2019-07-01  Hristian Kirtchev[Ada] Crash due to missing freeze nodes in transient...
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019
2018-12-11  Hristian Kirtchev[Ada] Spurious error with pragma Thread_Local_Storage
2018-12-11  Hristian Kirtchev[Ada] Crash on generic instantiation in ignored Ghost...
2018-12-11  Hristian Kirtchev[Ada] Crash on ignored Ghost expression function
2018-12-11  Ed Schonberg[Ada] Spurious errors on aspect specifications in gener...
2018-12-03  Eric Botcazou[Ada] Fix internal error on package instantiation on...
2018-11-14  Hristian Kirtchev[Ada] Use of Suppress_Initialization with pragma Thread...
2018-11-14  Hristian Kirtchev[Ada] Minor reformatting
2018-11-14  Ed Schonberg[Ada] Improper extension of bounds of fixed-point type
2018-09-26  Ed Schonberg[Ada] Fix ICE related to type freezing
2018-08-21  Hristian Kirtchev[Ada] Minor reformattings
2018-08-21  Ed Schonberg[Ada] Spurious crash on expression function as completi...
2018-08-21  Ed Schonberg[Ada] Unnesting: do not emit warnings for access to...
2018-07-31  Javier Miranda[Ada] Fix a freezing issue
2018-07-17  Hristian Kirtchev[Ada] Minor reformatting
2018-07-17  Javier Miranda[Ada] Crash processing abstract state aspect of a package
2018-05-30  Hristian Kirtchev[Ada] Minor reformatting
2018-05-30  Ed Schonberg[Ada] Extend the applicability of Thread_Local_Storage...
next