projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Refine previous change for -gnatn and LLVM
2019-09-18
Arnaud Charlet
[Ada] Refine previous change for -gnatn and LLVM
commit
|
commitdiff
|
tree
2019-09-17
Claire Dross
[Ada] Add Remove primitive on functional maps
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Fix rounding of fixed-point arithmetic operation
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada] Missing propagation of Has_Predicates in cloned...
commit
|
commitdiff
|
tree
2019-09-17
Eric Botcazou
[Ada] Fix ineffective -gnatyN for separate compilation...
commit
|
commitdiff
|
tree
2019-09-17
Tom Tromey
[Ada] Update the character type comment in exp_dbug.ads
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Minor fixes mostly in comments of runtime arithmetic...
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Raise Constraint_Error in overflow case involving...
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Fix possible suppressed overflows in arithmetic...
commit
|
commitdiff
|
tree
2019-09-17
Dmitriy Anisimkov
[Ada] Force even timestamp in Windows ALI files
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] GNATprove: avoid crash on illegal borrow during...
commit
|
commitdiff
|
tree
2019-09-17
Bob Duff
[Ada] Clarify documentation for Stack_Usage
commit
|
commitdiff
|
tree
2019-09-17
Steve Baird
[Ada] Don't accept illegal (e.g., Integer'(null)) generic...
commit
|
commitdiff
|
tree
2019-09-17
Claire Dross
[Ada] Support chained calls to traversal functions...
commit
|
commitdiff
|
tree
2019-09-17
Ed Falis
[Ada] Remove section on pragma No_Run_Time
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunko
[Ada] Close file descriptors allocated for tty only...
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunko
[Ada] GNAT.Expect (Expect_Internal): Try to call 'poll...
commit
|
commitdiff
|
tree
2019-09-17
Vadim Godunko
[Ada] Avoid to close irrelevant file descriptors
commit
|
commitdiff
|
tree
2019-09-17
Piotr Trojanek
[Ada] A new utility routine for detecting attribute...
commit
|
commitdiff
|
tree
2019-09-17
Yannick Moy
[Ada] Do not inline dispatching operations in GNATprove...
commit
|
commitdiff
|
tree
2019-09-17
Ed Schonberg
[Ada] In a generic use Presanalyze_Spec_Expression...
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada] Missing tagged type decoration in corresponding...
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada] Ada 2020: Raise expressions in limited contexts...
commit
|
commitdiff
|
tree
2019-09-17
Piotr Trojanek
[Ada] Ignore missing ALI files in GNATprove mode
commit
|
commitdiff
|
tree
2019-09-17
Arnaud Charlet
[Ada] PR ada/91268 Do not redefine macros
commit
|
commitdiff
|
tree
2019-09-17
Arnaud Charlet
[Ada] Refine change for bit-packed slices
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada] Adding assertions on extra formals for BIP function...
commit
|
commitdiff
|
tree
2019-09-17
Bob Duff
[Ada] Avoid touching potentially nonexistent memory
commit
|
commitdiff
|
tree
2019-09-17
Dmitriy Anisimkov
[Ada] Support for local unix sockets in GNAT.Sockets API
commit
|
commitdiff
|
tree
2019-09-17
Eric Botcazou
[Ada] Fix wrong value of 'Size for slices of bit-packed...
commit
|
commitdiff
|
tree
2019-09-17
Bob Duff
[Ada] Refine conditions for calling Copy_Bitfield
commit
|
commitdiff
|
tree
2019-08-21
Vadim Godunko
[Ada] Improve detection of end of the process by GNAT...
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada] Minor refactorings/reformattings
commit
|
commitdiff
|
tree
2019-08-21
Claire Dross
[Ada] Allow for of iteration on formal vectors
commit
|
commitdiff
|
tree
2019-08-21
Yannick Moy
[Ada] More precise propagation of Size attribute in...
commit
|
commitdiff
|
tree
2019-08-21
Yannick Moy
[Ada] Update references to the SPARK RM
commit
|
commitdiff
|
tree
2019-08-21
Eric Botcazou
[Ada] More complete information level for -gnatR4 output
commit
|
commitdiff
|
tree
2019-08-21
Bob Duff
[Ada] Add the System.Bitfield_Utils runtime unit
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada] Bindo.Graphs: Minor typo fixes
commit
|
commitdiff
|
tree
2019-08-21
Gary Dismukes
[Ada] Undefined master in task with limited class-wide...
commit
|
commitdiff
|
tree
2019-08-21
Eric Botcazou
[Ada] Fix type mismatch in extended return statement...
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada] Do not rewrite argument of pragma Entry_Queue_Length...
commit
|
commitdiff
|
tree
2019-08-21
Yannick Moy
[Ada] Avoid spurious error in GNATprove mode on non...
commit
|
commitdiff
|
tree
2019-08-21
Yannick Moy
[Ada] Ignore subprogram address in ownership checking
commit
|
commitdiff
|
tree
2019-08-21
Eric Botcazou
[Ada] Fix assertion failure on derived private protected...
commit
|
commitdiff
|
tree
2019-08-21
Piotr Trojanek
[Ada] Replace low-level membership tests with high...
commit
|
commitdiff
|
tree
2019-08-21
Javier Miranda
[Ada] Missing attribute update in new_copy_tree
commit
|
commitdiff
|
tree
2019-08-21
Joel Brobecker
[Ada] doc/Makefile: automatically create doc/share...
commit
|
commitdiff
|
tree
2019-08-21
Justin Squirek
[Ada] Max_Entry_Queue_Length aspect for protected entries
commit
|
commitdiff
|
tree
2019-08-20
Arnaud Charlet
[Ada] Unnesting: take inlining (-gnatn) into account
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonberg
[Ada] Crash on a Storage_Size aspect depending on attr...
commit
|
commitdiff
|
tree
2019-08-20
Piotr Trojanek
[Ada] Inconsistent scope chain due to quantified expression
commit
|
commitdiff
|
tree
2019-08-20
Yannick Moy
[Ada] Adapt GNATprove expansion for slices with access...
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Improve efficiency of aggregates with <>
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Improve speed of discriminated return types
commit
|
commitdiff
|
tree
2019-08-20
Gary Dismukes
[Ada] Minor reformattings
commit
|
commitdiff
|
tree
2019-08-20
Dmitriy Anisimkov
[Ada] Set GNAT.OS_Lib.GM_Split's granularity back to...
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonberg
[Ada] Fix propagation of compiler internal flag
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonberg
[Ada] Crash on Loop_Entry for while_loop involving...
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonberg
[Ada] Spurious error in dispatching call with class...
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Suppress Initialize_Scalars for Persistent_BSS
commit
|
commitdiff
|
tree
2019-08-20
Gary Dismukes
[Ada] Illegal limited function call accepted in a type...
commit
|
commitdiff
|
tree
2019-08-20
Patrick Bernardi
[Ada] New pragma Aggregate_Individually_Assign
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Enable delta_aggregate only in Ada 2020 mode
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Improve generated code for initialization of...
commit
|
commitdiff
|
tree
2019-08-20
Eric Botcazou
[Ada] More complete information level for -gnatR4 output
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Fix a folding issue with System'To_Address
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Warn on Unchecked_Conversion to zero-sized array
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Efficiency improvement in bounded ordered containers
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Warning for out-of-order record representation...
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Object_Size clause specifying 0 bits is illegal
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Pragma Warning_As_Error works for style warnings
commit
|
commitdiff
|
tree
2019-08-20
Eric Botcazou
[Ada] Get rid of linear searches in Lib
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Sem_Ch13: fix uninitialized parameter static...
commit
|
commitdiff
|
tree
2019-08-20
Piotr Trojanek
[Ada] Revert change for gnatprove that is no longer...
commit
|
commitdiff
|
tree
2019-08-20
Arnaud Charlet
[Ada] Document requirements for Pragma Lock_Free
commit
|
commitdiff
|
tree
2019-08-20
Philippe Gil
[Ada] Initialize gnat_argc/gnat_argv only the first...
commit
|
commitdiff
|
tree
2019-08-20
Bob Duff
[Ada] Fix documentation for GNAT.Command_Line.Exit_From_Comm...
commit
|
commitdiff
|
tree
2019-08-20
Pierre-Marie de...
[Ada] Add missing dot at the end of lang.opt doc for...
commit
|
commitdiff
|
tree
2019-08-19
Bob Duff
[Ada] Fix documentation for stream oriented attributes
commit
|
commitdiff
|
tree
2019-08-19
Gary Dismukes
[Ada] Einfo: update comments for E_Function and E_Procedure
commit
|
commitdiff
|
tree
2019-08-19
Eric Botcazou
[Ada] Fix bogus compilation error with Elaborate_Body...
commit
|
commitdiff
|
tree
2019-08-19
Bob Duff
[Ada] Suppress warnings on unreferenced parameters...
commit
|
commitdiff
|
tree
2019-08-19
Ed Schonberg
[Ada] Crash on object initialization that is call to...
commit
|
commitdiff
|
tree
2019-08-19
Dmitriy Anisimkov
[Ada] Conversion routines between GNAT.OS_Lib.OS_Time...
commit
|
commitdiff
|
tree
2019-08-19
Bob Duff
[Ada] Incorrect code for -gnateV switch
commit
|
commitdiff
|
tree
2019-08-19
Pierre-Marie de...
[Ada] Import documentation from the RM for various...
commit
|
commitdiff
|
tree
2019-08-19
Jerome Guitton
[Ada] Generate ada_target_properties
commit
|
commitdiff
|
tree
2019-08-19
Eric Botcazou
[Ada] Lift restriction on instantiations that are compilatio...
commit
|
commitdiff
|
tree
2019-08-19
Eric Botcazou
[Ada] Further cleanup in inlining machinery
commit
|
commitdiff
|
tree
2019-08-19
Ed Schonberg
[Ada] Legality of protected subp. implementing interface...
commit
|
commitdiff
|
tree
2019-08-19
Javier Miranda
[Ada] Buffer reading overflow in dispatch table initialization
commit
|
commitdiff
|
tree
2019-08-19
Bob Duff
[Ada] Process type extensions for -gnatw.h
commit
|
commitdiff
|
tree
2019-08-19
Gary Dismukes
[Ada] Improve warnings about "too few elements" and...
commit
|
commitdiff
|
tree
2019-08-19
Patrick Bernardi
[Ada] Enable use of GNAT.Sockets for VxWorks RTP
commit
|
commitdiff
|
tree
2019-08-19
Eric Botcazou
[Ada] Fix incorrect stub generation for types in instances
commit
|
commitdiff
|
tree
2019-08-19
Ed Schonberg
[Ada] Improve placement of warning on formals of generic...
commit
|
commitdiff
|
tree
2019-08-19
Bob Duff
[Ada] Factor out the "size for& too small..." error...
commit
|
commitdiff
|
tree
2019-08-19
Eric Botcazou
[Ada] Fix internal error on subprogram instantiation...
commit
|
commitdiff
|
tree
2019-08-19
Bob Duff
[Ada] Document missing gnatmetric switches
commit
|
commitdiff
|
tree
next