]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/exp_ch6.adb
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / exp_ch6.adb
2021-07-09  Justin Squirek[Ada] Crash on expansion of BIP construct in -gnatf...
2021-07-08  Bob Duff[Ada] Transient scope cleanup
2021-07-07  Piotr Trojanek[Ada] Replace low-level membership tests with Is_Privat...
2021-07-07  Bob Duff[Ada] Transient scope cleanup
2021-07-05  Justin Squirek[Ada] INOX: prototype alternative accessibility model
2021-07-05  Bob Duff[Ada] Refactoring related to Returns_By_Ref
2021-06-29  Bob Duff[Ada] tech debt: Parent (Empty) is not allowed
2021-06-21  Justin Squirek[Ada] INOX: prototype "when" constructs
2021-06-21  Richard Kenner[Ada] Add Return_Statement field
2021-06-18  Arnaud Charlet[Ada] Code cleanups in exp_ch6.adb
2021-06-17  Gary Dismukes[Ada] Implementation of Inox feature of fixed lower...
2021-06-16  Arnaud Charlet[Ada] Wrong reference to System.Tasking in expanded...
2021-06-15  Bob Duff[Ada] No_Task_Parts aspect
2021-06-15  Arnaud Charlet[Ada] Rename Ada 202* to Ada 2022
2021-05-07  Bob Duff[Ada] Minor reformattings
2021-05-07  Bob Duff[Ada] Variable-sized node types -- cleanup
2021-05-07  Bob Duff[Ada] Variable-sized node types
2021-05-05  Justin Squirek[Ada] Incorrect accessibility level on actual in proced...
2021-05-03  Arnaud Charlet[Ada] Update copyright notice
2021-05-03  Piotr Trojanek[Ada] Replace calls to RTE with Is_RTE where possible
2021-05-03  Justin Squirek[Ada] Expansion in _postconditions confusing CodePeer
2021-04-28  Arnaud Charlet[Ada] Incorrect discriminant check on call to access...
2020-12-17  Arnaud Charlet[Ada] Remove unused subprograms in validsw
2020-12-16  Piotr Trojanek[Ada] Simplify membership tests with N_Subprogram_Call...
2020-12-15  Justin Squirek[Ada] Postcondition checks performed before finalization
2020-12-15  Arnaud Charlet[Ada] Transform_Function_Array issues
2020-12-14  Bob Duff[Ada] Compiler crash on call to function instance
2020-11-30  Eric Botcazou[Ada] Fix internal error on extended return and fixed...
2020-11-30  Arnaud Charlet[Ada] Confusion in Transform_Function_Array and interna...
2020-11-27  Arnaud Charlet[Ada] Reference before declaration on C392015
2020-11-24  Arnaud Charlet[Ada] Premature finalization on build in place return...
2020-11-24  Arnaud Charlet[Ada] Wrong finalization in call with if expression
2020-10-27  Arnaud Charlet[Ada] New flag Transform_Function_Array
2020-10-23  Justin Squirek[Ada] Further Ada 2020 work on accessibility checking
2020-10-22  Justin Squirek[Ada] Reimplementation of accessibility checking
2020-10-21  Steve Baird[Ada] Implement missing function result finalization.
2020-10-21  Gary Dismukes[Ada] Compiler crash on prefixed call to controlled...
2020-10-21  Justin Squirek[Ada] Incorrect associations for extra accessibility...
2020-10-21  Piotr Trojanek[Ada] Make minimum accessibility level a constant object
2020-10-20  Justin Squirek[Ada] Crash on cond expression as actual for anonymous...
2020-10-20  Justin Squirek[Ada] Hang on cond expression as actual for anonymous...
2020-10-20  Piotr Trojanek[Ada] Support for new aspect Subprogram_Variant on...
2020-10-19  Bob Duff[Ada] Suppress warnings in expansion of "for ... of...
2020-10-19  Ed Schonberg[Ada] Compiler abort on in_out function parameter with...
2020-10-19  Arnaud Charlet[Ada] No range check on fixed point to integer conversion
2020-10-19  Piotr Trojanek[Ada] Simplify detection of by-copy types
2020-10-19  Piotr Trojanek[Ada] Remove useless initialization and refine type...
2020-10-19  Piotr Trojanek[Ada] Refine type of a local variable
2020-10-19  Piotr Trojanek[Ada] Simplify membership test for operators
2020-10-16  Piotr Trojanek[Ada] Assorted style cleanups
2020-10-16  Bob Duff[Ada] Remove obsolete workaround regarding array returns
2020-10-16  Arnaud Charlet[Ada] Finalization of uninitialized object with build...
2020-10-16  Arnaud Charlet[Ada] Remove support for -gnatP and pragma Polling
2020-10-15  Javier Miranda[Ada] Cleanup definition of Might_Have_Tasks
2020-10-15  Steve Baird[Ada] Get finalization right when a function returns...
2020-10-15  Bob Duff[Ada] Remove obsolete DSP comment
2020-07-27  Justin Squirek[Ada] Wrong accessibility on 'Access of formal in call
2020-07-27  Arnaud Charlet[Ada] Use membership tests in front-end
2020-07-27  Javier Miranda[Ada] Spurious error in generic dispatching constructor
2020-07-23  Arnaud Charlet[Ada] Ada2020: AI12-0027 Access values and unaliased...
2020-07-15  Eric Botcazou[Ada] Do not generate extra copies inside initializatio...
2020-07-15  Gary Dismukes[Ada] Minor reformatting of comments and some code...
2020-07-15  Justin Squirek[Ada] Spurious accessibility error on allocator
2020-07-10  Ed Schonberg[Ada] Spurious error on parameterless acccess_to_subprogram
2020-07-10  Arnaud Charlet[Ada] Use small limit for aggregates inside subprograms
2020-07-10  Javier Miranda[Ada] Spurious error in generic dispatching constructor...
2020-07-10  Eric Botcazou[Ada] Fix internal error on if-expression in call retur...
2020-07-08  Vasiliy Fofanov[Ada] Optional warning on build-in-place function calls
2020-07-08  Gary Dismukes[Ada] Static expression function problems with -gnatc...
2020-07-07  Ed Schonberg[Ada] Errors in handling of access_to_subprogram contracts
2020-07-07  Justin Squirek[Ada] Hang on conditional expression as actual
2020-07-07  Gary Dismukes[Ada] Checking type invariants on in params of procedur...
2020-07-06  Gary Dismukes[Ada] Various typo fixes and reformatting of comments
2020-07-06  Eric Botcazou[Ada] Fix bad interaction between Unchecked_Conversion...
2020-06-18  Javier Miranda[Ada] Crash in tagged type constructor with task components
2020-06-18  Steve Baird[Ada] Implement AI12-0032 fixes for 'Old attribute...
2020-06-18  Eric Botcazou[Ada] Minor cleanup in Expand_Call_Helper
2020-06-17  Javier Miranda[Ada] Ada2020: AI12-0279 more dispatching points with...
2020-06-17  Javier Miranda[Ada] Crash in tagged type constructor with task components
2020-06-17  Gary Dismukes[Ada] Implement static expression functions for Ada...
2020-06-16  Javier Miranda[Ada] Crash in tagged type constructor with task components
2020-06-15  Eric Botcazou[Ada] Implement AI12-0343 Return Statement Checks
2020-06-15  Javier Miranda[Ada] Crash in tagged type constructor with task components
2020-06-15  Gary Dismukes[Ada] Passing actual parameter values to out formals...
2020-06-15  Justin Squirek[Ada] Bad access checks on if/case expression as actual
2020-06-15  Piotr Trojanek[Ada] Replace repeated Ekind with Ekind_In
2020-06-15  Piotr Trojanek[Ada] Remove excessive parens
2020-06-12  Arnaud Charlet[Ada] Fix handling of subprograms declared in a protect...
2020-06-10  Ed Schonberg[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_...
2020-06-10  Justin Squirek[Ada] Incorrect accessibility checks on functions calls
2020-06-10  Eric Botcazou[Ada] Fix incorrect insertion of post-call actions...
2020-06-09  Eric Botcazou[Ada] Implement AI12-0028: Import of variadic C functions
2020-06-09  Arnaud Charlet[Ada] Code clean ups and comments updates
2020-06-08  Arnaud Charlet[Ada] Remove processing of SPARK_05 restriction
2020-06-03  Justin Squirek[Ada] Incorrect accessibility checking on aliased formals
2020-06-03  Piotr Trojanek[Ada] Iterate with procedural versions of Next_......
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
2019-12-16  Yannick Moy[Ada] Do not issue restriction violations on ignored...
2019-12-16  Eric Botcazou[Ada] Implement RM C.6(19) clause entirely in the front-end
2019-12-13  Javier Miranda[Ada] Deallocation of controlled type implementing...
next