projects
/
platform
/
upstream
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
[Ada] Adding assertions on extra formals for BIP function calls
2019-08-14
Eric Botcazou
[Ada] Fix internal error on inlined subprogram instance
commit
|
commitdiff
|
tree
2019-08-14
Ed Schonberg
[Ada] Crash on quantified expression in disabled assertion
commit
|
commitdiff
|
tree
2019-08-14
Javier Miranda
[Ada] Sem_Util: fix a bug in New_Copy_Tree
commit
|
commitdiff
|
tree
2019-08-14
Yannick Moy
[Ada] Expose part of ownership checking for use in...
commit
|
commitdiff
|
tree
2019-08-14
Yannick Moy
[Ada] Check SPARK restriction on Old/Loop_Entry with...
commit
|
commitdiff
|
tree
2019-08-14
Yannick Moy
[Ada] Fix spurious ownership error in GNATprove
commit
|
commitdiff
|
tree
2019-08-14
Eric Botcazou
[Ada] Fix discrepancy in mechanism tracking private...
commit
|
commitdiff
|
tree
2019-08-14
Javier Miranda
[Ada] Fix a recent ACATS regression (c552001)
commit
|
commitdiff
|
tree
2019-08-14
Ed Schonberg
[Ada] Crash on precondition involving quantified expression
commit
|
commitdiff
|
tree
2019-08-14
Yannick Moy
[Ada] Fix failing assertions on SPARK elaboration
commit
|
commitdiff
|
tree
2019-08-14
Eric Botcazou
[Ada] Small internal improvements to the inlining machinery
commit
|
commitdiff
|
tree
2019-08-14
Gary Dismukes
[Ada] Illegal selection of first object in a task type...
commit
|
commitdiff
|
tree
2019-08-14
Piotr Trojanek
[Ada] Minor refactoring in Einfo
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Remove unused component in record type
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Build full derivation for private concurrent...
commit
|
commitdiff
|
tree
2019-08-13
Ed Schonberg
[Ada] Legality rule on ancestors of type extensions...
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Fix spurious instantiation error on private record...
commit
|
commitdiff
|
tree
2019-08-13
Javier Miranda
[Ada] Wrong dispatching call in type with aspect Implicit_De...
commit
|
commitdiff
|
tree
2019-08-13
Ed Schonberg
[Ada] Do not remove side-effects in an others_clause...
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Add GNAT.Branch_Prediction to Impunit
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Small cleanup and improvement in inlining machinery
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Fix bogus style check failure with pragma Style_Checks...
commit
|
commitdiff
|
tree
2019-08-13
Arnaud Charlet
[Ada] Protect analysis of Indexing aspect against cascaded...
commit
|
commitdiff
|
tree
2019-08-13
Ed Schonberg
[Ada] Add conformance check on actual subp. in instance...
commit
|
commitdiff
|
tree
2019-08-13
Gary Dismukes
[Ada] Do full name qualification of local exception...
commit
|
commitdiff
|
tree
2019-08-13
Gary Dismukes
[Ada] Compiler may blow up on array aggregates whose...
commit
|
commitdiff
|
tree
2019-08-13
Justin Squirek
[Ada] Show Bit_Order and Scalar_Storage_Order in -gnatR4...
commit
|
commitdiff
|
tree
2019-08-13
Justin Squirek
[Ada] Implement pragma Max_Entry_Queue_Length
commit
|
commitdiff
|
tree
2019-08-13
Yannick Moy
[Ada] Avoid crash in GNATprove_Mode on allocator inside...
commit
|
commitdiff
|
tree
2019-08-13
Yannick Moy
[Ada] Avoid crash in GNATprove due to inlining inside...
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Spurious error on nested instantiation
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Do not set Back_End_Inlining in ASIS mode
commit
|
commitdiff
|
tree
2019-08-13
Olivier Hainque
[Ada] Fix incorrect binding to MapViewOfFile in s-win32.ads
commit
|
commitdiff
|
tree
2019-08-13
Arnaud Charlet
[Ada] Systematically pass LN_S to relevant gnatlib...
commit
|
commitdiff
|
tree
2019-08-13
Yannick Moy
[Ada] Avoid spurious errors on dimensionality checking...
commit
|
commitdiff
|
tree
2019-08-13
Justin Squirek
[Ada] Disable anonymous allocator warning for library...
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Add/fix documentation for the Double_*_Alignment...
commit
|
commitdiff
|
tree
2019-08-13
Eric Botcazou
[Ada] Fix spurious error on nested instantiation with...
commit
|
commitdiff
|
tree
2019-08-13
Javier Miranda
[Ada] Wrong initialization of Offset_To_Top in secondary DT
commit
|
commitdiff
|
tree
2019-08-13
Justin Squirek
[Ada] Add ability to list compiler switches with gnatcmd
commit
|
commitdiff
|
tree
2019-08-13
Dmitriy Anisimkov
[Ada] Better exception message on Invalid_Switch exception
commit
|
commitdiff
|
tree
2019-08-13
Yannick Moy
[Ada] Complete the more extended AST traversal used...
commit
|
commitdiff
|
tree
2019-08-13
Claire Dross
[Ada] Extend range type in search primitives of formal...
commit
|
commitdiff
|
tree
2019-08-12
Dmitriy Anisimkov
[Ada] Fix IPv6 numeric address detection
commit
|
commitdiff
|
tree
2019-08-12
Dmitriy Anisimkov
[Ada] New parameter Quiet for procedure GNAT.Command_Line...
commit
|
commitdiff
|
tree
2019-08-12
Ed Schonberg
[Ada] Missing check on outbound parameter of a non...
commit
|
commitdiff
|
tree
2019-08-12
Ed Schonberg
[Ada] Crash on illegal left-hand side in assignment...
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Small comment tweaks for 3 predicates on bit...
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Fix internal error on comparison of unaligned...
commit
|
commitdiff
|
tree
2019-08-12
Bob Duff
[Ada] Do not suppress checks in instances of internal...
commit
|
commitdiff
|
tree
2019-08-12
Bob Duff
[Ada] Prevent crash in Is_Reachable
commit
|
commitdiff
|
tree
2019-08-12
Bob Duff
[Ada] Prevent crash in Put_Scaled
commit
|
commitdiff
|
tree
2019-08-12
Bob Duff
[Ada] Remove doc for language version switches
commit
|
commitdiff
|
tree
2019-08-12
Gary Dismukes
[Ada] Hang on loop in generic with subtype indication...
commit
|
commitdiff
|
tree
2019-08-12
Ed Schonberg
[Ada] Improper error message on equality op with different...
commit
|
commitdiff
|
tree
2019-08-12
Bob Duff
[Ada] Minor cleanups in exception handling
commit
|
commitdiff
|
tree
2019-08-12
Justin Squirek
[Ada] Implement Ada.Directories.Hierarchical_File_Names
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Improve error message for Object_Size clause...
commit
|
commitdiff
|
tree
2019-08-12
Gary Dismukes
[Ada] Suppress_Initialization not respected for private...
commit
|
commitdiff
|
tree
2019-08-12
Yannick Moy
[Ada] New aspect/pragma No_Caching for analysis of...
commit
|
commitdiff
|
tree
2019-08-12
Yannick Moy
[Ada] Adapt new extended traversal of AST to have optional...
commit
|
commitdiff
|
tree
2019-08-12
Yannick Moy
[Ada] More precise handling of Size/Object_Size in...
commit
|
commitdiff
|
tree
2019-08-12
Yannick Moy
[Ada] SPARK: disable expansion of Enum_Rep
commit
|
commitdiff
|
tree
2019-08-12
Justin Squirek
[Ada] Inconsistent compile time Constraint_Error warning
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Eliminate redundant range checks on conversions
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Sprint: minor comment tweak
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Fix leak of Do_Range_Check flag in -gnatVa mode
commit
|
commitdiff
|
tree
2019-08-12
Yannick Moy
[Ada] Extended traversal subprograms for GNATprove
commit
|
commitdiff
|
tree
2019-08-12
Jerome Lambourg
[Ada] VxWorks: call s-tpopsp.Self only when needed
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Plug small loophole in Discrete_Range_Check
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Add special bypass for obsolete code pattern
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Fix missing range check for In/Out parameter...
commit
|
commitdiff
|
tree
2019-08-12
Eric Botcazou
[Ada] Fix incorrect Do_Range_Check on type conversion
commit
|
commitdiff
|
tree
2019-07-23
Ed Schonberg
[Ada] Aspect CPU may depend on a discriminant of a...
commit
|
commitdiff
|
tree
2019-07-23
Eric Botcazou
[Ada] Plug small loophole in Generate_Range_Check
commit
|
commitdiff
|
tree
2019-07-23
Eric Botcazou
[Ada] Eliminate redundant overflow checks for conversions...
commit
|
commitdiff
|
tree
2019-07-23
Eric Botcazou
[Ada] Minor tweak to -gnatR output
commit
|
commitdiff
|
tree
2019-07-23
Ed Schonberg
[Ada] Iterators are view-specific
commit
|
commitdiff
|
tree
2019-07-23
Yannick Moy
[Ada] Issue error on SPARK ownership rule violation
commit
|
commitdiff
|
tree
2019-07-23
Yannick Moy
[Ada] Fix binding of ghost units with finalizer
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] More complete information level for -gnatR4 output
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Sinfo: update doc about Do_Division/Overlflow...
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Fix missing check for no-op conversion to fixed...
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Remove misleading warning/suggestion in membership...
commit
|
commitdiff
|
tree
2019-07-22
Yannick Moy
[Ada] Adapt ownership checking in SPARK to traversal...
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Overhaul code implementing conversions involving...
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Sprint: fix pasto in comment
commit
|
commitdiff
|
tree
2019-07-22
Javier Miranda
[Ada] Spurious error passing access to class-wide interface...
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Small enhancement to the -gnatD/-gnatG output...
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Beef up comment in exp_attr.adb
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Optimization loses exception in improper use...
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Misleading warning on variable not assigned
commit
|
commitdiff
|
tree
2019-07-22
Javier Miranda
[Ada] Usage of signed type in array bounds in CCG
commit
|
commitdiff
|
tree
2019-07-22
Yannick Moy
[Ada] Issue warning or error message on ignored typing...
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Fix spurious visibility error for tagged type...
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Remove obsolete Is_For_Access_Subtype machinery
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Spurious error on private subtype of derived...
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Type inconsistency in floating_point type declarations
commit
|
commitdiff
|
tree
2019-07-22
Eric Botcazou
[Ada] Further fix non-stored discriminant in aggregate...
commit
|
commitdiff
|
tree
2019-07-22
Gary Dismukes
[Ada] Premature finalization of controlled temporaries...
commit
|
commitdiff
|
tree
next