git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/ChangeLog

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / ada / ChangeLog

2019-07-04	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw
2019-07-04	pmderodat	[Ada] Add preconditions in Ada.Task_Identification	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Fix capitalization and parenthesis glitches in...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Spurious error on instantiation and limited_with_...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Management of internal data structures in Sem_Elab	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Expr. func. with private formal rejected in neste...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] SPARK_Mode Off now allowed inside subprogram	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Spurious error on incomplete tagged formal parameter	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Bug in composition of equality for variant records	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Missing actual for generated initialization procedure	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Do not create a master unless Tasking_Allowed	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Assertion failure on Default_Initial_Condition	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Spurious error on 'First in a generic context	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Minor typo fixes	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Synchronized object definition in SPARK updated	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Fix crash in SPARK ownership checking	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Hang on expansion of library-level instantiation	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Unnesting: handle conditional expressions	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Skip code not in SPARK for ownership analysis	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Better error messages for ownership errors in...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] CCG: reduce generated temporaries	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Keep assertions in internal units enabled for...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] CCG: restrict folding for boolean tests	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Reduce emitted code size in CCG for aggregate...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] GNAT.Sockets: fix socket timeout on recent Window...	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Get_Scos: Remove bogus, dead code	blob \| commitdiff \| raw \| diff to current
2019-07-04	pmderodat	[Ada] Spurious dimensionality error on aggregate with...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Document new flags in GNATpp	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Forced elaboration order in Elaboration order...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Crash on anonymous access-to-class-wide with...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Suppress warnings in generic instantiations with...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] New routine to access file on command line	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Crash on front-end inlining of subp. with aspect...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Incorrect expansion on renamings of formal parameters	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Refine pointer support in SPARK	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Spurious visibility error in inlined function	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Minor editorial corrections and reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Improve warnings about infinite loops	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Document default new-line behavior for GNATpp	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] ABE checks v3.0, foundations of Elaboration order...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] SPARK pointer support extended to local borrowers...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Spurious error with static predicate in generic...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Style check for mixed-case identifiers	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Extend -gnatw.z warning to array types	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Spell "laid" correctly	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Spurious error on dynamic predicate in a generic...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Fix bogus error on array with overaligned scalar...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Make loop labels unique for front-end inlined...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Update the section on resolving elaboration circu...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Add a gnatbind option to generate C code	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Do not consider inlined subprograms when generati...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Missing consistency check for constant modifier	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Clarify wording on documentation for No_Multiple_...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Spurious error on predicate of subtype in generic	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Document that boolean types with convention C...	blob \| commitdiff \| raw \| diff to current
2019-07-03	pmderodat	[Ada] Exp_Attr: remove dead code	blob \| commitdiff \| raw \| diff to current
2019-07-02	iains	[PATCH, Ada, Darwin, PPC] PPC Darwin has stack check...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Spurious error on inst. of partially defaulted...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] More permissive use of GNAT attribute Enum_Rep	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Make No_Inline pragma effective for generic subpr...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Spurious error private subtype derivation	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] SPARK support for pointers through ownership	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] GNAT.Sockets: refactor Has_Sockaddr_Len	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Crash on improper pragma Weak_External	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Remove a SPARK rule about implicit Global	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Cleanup references to LynuxWorks in docs and...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Wrong code with -gnatVa on lock-free protected...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Make No_Inline pragma effective for protected...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Unnesting: improve handling of private and incomp...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Correct size in representation clauses documentation	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Incorrect definition of Win32 compatible types	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] gprbuild fails to find ghost ALI files	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Improve error message on mult/div between fixed...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Revert "Global => null" on calendar routines...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Fix "componant" typos in comments	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Clean up of GNAT.Graphs	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Clean up of GNAT.Sets	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Clean up of GNAT.Lists	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Clean up of GNAT.Dynamic_HTables	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Disable expansion of 'Min/'Max of floating point...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Implement GNAT.Graphs	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] GNAT.Sockets: fix Get_Address when AF_INET6 is...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Compiler abort on use of Invalid_Value on numeric...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Crash due to missing freeze nodes in transient...	blob \| commitdiff \| raw \| diff to current
2019-07-01	pmderodat	[Ada] Fix formatting issues in the gnat_ugn documentation	blob \| commitdiff \| raw \| diff to current
2019-06-30	iains	[PATCH, Ada] Push -shared-libgcc where needed.	blob \| commitdiff \| raw \| diff to current
2019-06-29	ebotcazou	* gcc-interface/decl.c (gnat_to_gnu_entity): Beep...	blob \| commitdiff \| raw \| diff to current
2019-06-29	ebotcazou	* gcc-interface/utils.c (unchecked_convert): Tweak...	blob \| commitdiff \| raw \| diff to current
2019-06-29	ebotcazou	* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_...	blob \| commitdiff \| raw \| diff to current
2019-06-29	ebotcazou	* gcc-interface/decl.c (gnat_to_gnu_field): Rework...	blob \| commitdiff \| raw \| diff to current
2019-06-29	ebotcazou	* gcc-interface/trans.c (mark_visited_r): Set TYPE_SIZ...	blob \| commitdiff \| raw \| diff to current
2019-06-29	ebotcazou	* gcc-interface/decl.c (set_nonaliased_component_on_ar...	blob \| commitdiff \| raw \| diff to current
2019-06-29	ebotcazou	* expr.c (expand_expr_real_1) <BIT_FIELD_REF>: Apply...	blob \| commitdiff \| raw \| diff to current
2019-06-25	ebotcazou	* gcc-interface/decl.c (gnat_to_gnu_entity): Remove...	blob \| commitdiff \| raw \| diff to current
2019-06-24	hubicka	* ipa-utils.h (type_with_linkage_p): Verify that type is	blob \| commitdiff \| raw \| diff to current
2019-06-24	msebor	gcc/ada/ChangeLog:	blob \| commitdiff \| raw \| diff to current
next

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom