projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU
2020-07-16
Bob Duff
[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU
commit
|
commitdiff
|
tree
2020-07-16
Eric Botcazou
[Ada] Remove duplicated line
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] Wrong execution of Tan on large argument
commit
|
commitdiff
|
tree
2020-07-16
Ed Schonberg
[Ada] Spurious error in instance nested in formal package
commit
|
commitdiff
|
tree
2020-07-16
Doug Rupp
[Ada] v7r2cert: minor refactoring
commit
|
commitdiff
|
tree
2020-07-16
Eric Botcazou
[Ada] Set missing Parent field of block entity
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] AI12-0004 Normalization and allowed characters
commit
|
commitdiff
|
tree
2020-07-16
Bob Duff
[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU
commit
|
commitdiff
|
tree
2020-07-16
Bob Duff
[Ada] Adjust heuristics about size of static aggregates
commit
|
commitdiff
|
tree
2020-07-16
Bob Duff
[Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment...
commit
|
commitdiff
|
tree
2020-07-16
Gary Dismukes
[Ada] Implicit dereferencing in container indexing
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] AI12-0373 Additional check on Integer_Literal...
commit
|
commitdiff
|
tree
2020-07-16
Ghjuvan Lacambre
[Ada] Handle N_Others_Choice case in range-building...
commit
|
commitdiff
|
tree
2020-07-16
Bob Duff
[Ada] Ada2020: AI12-0289 Implicitly null excluding...
commit
|
commitdiff
|
tree
2020-07-16
Justin Squirek
[Ada] Spurious accessibility error on allocator in...
commit
|
commitdiff
|
tree
2020-07-16
Eric Botcazou
[Ada] Small cleanup in interface with GCC back-end
commit
|
commitdiff
|
tree
2020-07-16
Justin Squirek
[Ada] Incorrect static accessibility error in return...
commit
|
commitdiff
|
tree
2020-07-16
Piotr Trojanek
[Ada] Simplify detection of others choice with just...
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] Disable Initialize_Scalars on runtime files
commit
|
commitdiff
|
tree
2020-07-16
Ghjuvan Lacambre
[Ada] Do not perform null exclusion static checks on...
commit
|
commitdiff
|
tree
2020-07-16
Javier Miranda
[Ada] Avoid false positive reported by CodePeer
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] Spurious redundant use clause warning
commit
|
commitdiff
|
tree
2020-07-16
Javier Miranda
[Ada] Ada2020: AI12-0107 convention of By_Protected_Procedure
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] Overflow in string streaming
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] Add centralized capacity check in Generic_Bignums
commit
|
commitdiff
|
tree
2020-07-16
Gary Dismukes
[Ada] AI12-0042: Type invariant checking rules
commit
|
commitdiff
|
tree
2020-07-15
Piotr Trojanek
[Ada] Cleanup code related to object overlays
commit
|
commitdiff
|
tree
2020-07-15
Eric Botcazou
[Ada] Cleanup in Convert_To_Positional after previous...
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Ongoing work for AI12-0212: container aggregates
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Fix logic in Allocate_Any_Controlled
commit
|
commitdiff
|
tree
2020-07-15
Piotr Trojanek
[Ada] Target name is an object reference
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Spurious error on Predicate_Failure aspect
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Mention -gnat2020 in error message
commit
|
commitdiff
|
tree
2020-07-15
Eric Botcazou
[Ada] Do not generate elaboration code for alignment...
commit
|
commitdiff
|
tree
2020-07-15
Eric Botcazou
[Ada] Do not generate extra copies inside initialization...
commit
|
commitdiff
|
tree
2020-07-15
Ghjuvan Lacambre
[Ada] Guard against access to wrong fields in Is_Renaming
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Remove doc on obsolete tools
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Assert failure with -gnatwr
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Missing error on operator call
commit
|
commitdiff
|
tree
2020-07-15
Piotr Trojanek
[Ada] Fix for possibly null ranges in 'Update and delta_aggr...
commit
|
commitdiff
|
tree
2020-07-15
Eric Botcazou
[Ada] Small addition and tweaks in documentation on...
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] ACATS 4.1P [BDB4001] - 13.11.4(22-23/3) not enforced
commit
|
commitdiff
|
tree
2020-07-15
Yannick Moy
[Ada] Mark standard containers as not in SPARK
commit
|
commitdiff
|
tree
2020-07-15
Eric Botcazou
[Ada] Fix oversight in Delayed_Aspect_Present predicate
commit
|
commitdiff
|
tree
2020-07-15
Javier Miranda
[Ada] Wrong resolution of 'access in protected subprogram
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Documentation cleanups
commit
|
commitdiff
|
tree
2020-07-15
Piotr Trojanek
[Ada] Fix slices and qualified expressions being effectively...
commit
|
commitdiff
|
tree
2020-07-15
Piotr Trojanek
[Ada] Cleanup condition for an effectively volatile...
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Extend static functions
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Potential access to uninitialized variable
commit
|
commitdiff
|
tree
2020-07-15
Piotr Trojanek
[Ada] Fix typo in "accommodate" in docs and comments
commit
|
commitdiff
|
tree
2020-07-15
Gary Dismukes
[Ada] Minor reformatting of comments and some code...
commit
|
commitdiff
|
tree
2020-07-15
Eric Botcazou
[Ada] Use Sloc of delay statement in timed entry call
commit
|
commitdiff
|
tree
2020-07-15
Ed Schonberg
[Ada] Ongoing work for unnamed and named container...
commit
|
commitdiff
|
tree
2020-07-15
Justin Squirek
[Ada] Spurious accessibility error on allocator
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Fix potentially uninitialized variable flagged...
commit
|
commitdiff
|
tree
2020-07-10
Piotr Trojanek
[Ada] Revert mistaken negation related to references...
commit
|
commitdiff
|
tree
2020-07-10
Eric Botcazou
[Ada] Add warning for overlays changing scalar storage...
commit
|
commitdiff
|
tree
2020-07-10
Piotr Trojanek
[Ada] Fix detection of actual parameters for procedure...
commit
|
commitdiff
|
tree
2020-07-10
Bob Duff
[Ada] Ada2020: AI12-0368 Declare expressions can be...
commit
|
commitdiff
|
tree
2020-07-10
Ed Schonberg
[Ada] Spurious error on parameterless acccess_to_subprogram
commit
|
commitdiff
|
tree
2020-07-10
Eric Botcazou
[Ada] Further improve the expansion of array aggregates
commit
|
commitdiff
|
tree
2020-07-10
Arnaud Charlet
[Ada] Preserve casing of output files
commit
|
commitdiff
|
tree
2020-07-10
Pascal Obry
[Ada] Fix memory leak in routine Wait_On_Socket
commit
|
commitdiff
|
tree
2020-07-10
Pascal Obry
[Ada] Minor style fixes
commit
|
commitdiff
|
tree
2020-07-10
Javier Miranda
[Ada] Potentially unevaluated nested expressions
commit
|
commitdiff
|
tree
2020-07-10
Gary Dismukes
[Ada] Reformatting and typo corrections
commit
|
commitdiff
|
tree
2020-07-10
Yannick Moy
[Ada] Fix detection of volatile properties in SPARK
commit
|
commitdiff
|
tree
2020-07-10
Piotr Trojanek
[Ada] Cleanup excessive conditions in Check_Completion
commit
|
commitdiff
|
tree
2020-07-10
Piotr Trojanek
[Ada] Remove references to non-existing E_Protected_Object
commit
|
commitdiff
|
tree
2020-07-10
Arnaud Charlet
[Ada] Use small limit for aggregates inside subprograms
commit
|
commitdiff
|
tree
2020-07-10
Eric Botcazou
[Ada] Small cleanup throughout Exp_Ch4
commit
|
commitdiff
|
tree
2020-07-10
Javier Miranda
[Ada] Spurious error in generic dispatching constructor...
commit
|
commitdiff
|
tree
2020-07-10
Yannick Moy
[Ada] Fix assertion failure on (in-)out function parameter
commit
|
commitdiff
|
tree
2020-07-10
Piotr Trojanek
[Ada] Revert too late setting of Ekind on discriminants
commit
|
commitdiff
|
tree
2020-07-10
Joffrey Huguet
[Ada] Add global contracts to Ada.Numerics.Big_Numbers...
commit
|
commitdiff
|
tree
2020-07-10
Ed Schonberg
[Ada] Part of implementation of AI12-0212: container...
commit
|
commitdiff
|
tree
2020-07-10
Arnaud Charlet
[Ada] Make System.Generic_Bignums more flexible
commit
|
commitdiff
|
tree
2020-07-10
Eric Botcazou
[Ada] Fix crash on quantified expression in expression...
commit
|
commitdiff
|
tree
2020-07-10
Eric Botcazou
[Ada] Fix crash on quantified expression in expression...
commit
|
commitdiff
|
tree
2020-07-10
Eric Botcazou
[Ada] Fix internal error on if-expression in call returning...
commit
|
commitdiff
|
tree
2020-07-10
Piotr Trojanek
[Ada] Fix failing assertions related to volatile objects
commit
|
commitdiff
|
tree
2020-07-10
Yannick Moy
[Ada] Remove use of debug flag -gnatdF for GNATprove
commit
|
commitdiff
|
tree
2020-07-10
Piotr Trojanek
[Ada] Reuse SPARK expansion of attribute Update for...
commit
|
commitdiff
|
tree
2020-07-10
Piotr Trojanek
[Ada] Fix expansion of 'Update with multiple choices...
commit
|
commitdiff
|
tree
2020-07-10
Arnaud Charlet
[Ada] Crash in Walk_Library_Items on ghost units
commit
|
commitdiff
|
tree
2020-07-08
Eric Botcazou
[Ada] Disable warning about unsafe use of __builtin_frame_ad...
commit
|
commitdiff
|
tree
2020-07-08
Dmitriy Anisimkov
[Ada] Fix C miss parentheses warning on Windows
commit
|
commitdiff
|
tree
2020-07-08
Eric Botcazou
[Ada] Fix warnings in C runtime files on Windows
commit
|
commitdiff
|
tree
2020-07-08
Eric Botcazou
[Ada] Do not apply constraint checks on allocator with...
commit
|
commitdiff
|
tree
2020-07-08
Javier Miranda
[Ada] Fix recent regression on _Master declaration
commit
|
commitdiff
|
tree
2020-07-08
Arnaud Charlet
[Ada] Clean up in Interfaces.C.Extensions
commit
|
commitdiff
|
tree
2020-07-08
Vasiliy Fofanov
[Ada] Optional warning on build-in-place function calls
commit
|
commitdiff
|
tree
2020-07-08
Piotr Trojanek
[Ada] Fix typo and layout in comments about matching
commit
|
commitdiff
|
tree
2020-07-08
Eric Botcazou
[Ada] Fix internal error on string type comparision...
commit
|
commitdiff
|
tree
2020-07-08
Eric Botcazou
[Ada] Fix incorrect placement of freeze node with predicate
commit
|
commitdiff
|
tree
2020-07-08
Gary Dismukes
[Ada] Minor reformatting and typo fix
commit
|
commitdiff
|
tree
2020-07-08
Eric Botcazou
[Ada] Add comment on implementation choice for byte...
commit
|
commitdiff
|
tree
2020-07-08
Piotr Trojanek
[Ada] Accept aspect Relaxed_Initialization on generic...
commit
|
commitdiff
|
tree
2020-07-08
Piotr Trojanek
[Ada] Analyze aspects once generic subprograms are...
commit
|
commitdiff
|
tree
next