projects
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Remove External aspect from predefined abstract states
[gcc.git]
/
gcc
/
ada
/
ChangeLog
2018-05-21
Piotr Trojanek
[Ada] Remove External aspect from predefined abstract...
blob
|
commitdiff
|
raw
2018-05-21
Yannick Moy
[Ada] Spurious error in inlining for GNATprove on prefi...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Hristian Kirtchev
[Ada] Spurious error on synchronous refinement
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Yannick Moy
[Ada] Crash on incorrect frontend inlining in GNATprove...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Olivier Hainque
[Ada] Tighten Object_Reader.Get_Memory_Bounds
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Olivier Hainque
[Ada] Robustify traceback symbolization from dwarf...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Olivier Hainque
[Ada] Rename Load_Slide internal runtime component...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Olivier Hainque
[Ada] Propagate load addresses for traceback cache...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Piotr Trojanek
[Ada] Only allow Has_Discriminants on type entities
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Arnaud Charlet
[Ada] Unnest all subprograms relevant for code generation
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Piotr Trojanek
[Ada] Typo in lib.ads comment
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Ed Schonberg
[Ada] Extend legality of Scalar_Storage_Order to formal...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Hristian Kirtchev
[Ada] Premature secondary stack reclamation
blob
|
commitdiff
|
raw
|
diff to current
2018-05-21
Piotr Trojanek
[Ada] Fix inconstent subprogram body headers
blob
|
commitdiff
|
raw
|
diff to current
2018-05-04
John Marino
re PR ada/85635 (typo in link.c for BSD platforms)
blob
|
commitdiff
|
raw
|
diff to current
2018-04-27
Eric Botcazou
re PR ada/85540 (gcc/ada/init.c:1282: suspicious expres...
blob
|
commitdiff
|
raw
|
diff to current
2018-04-25
Eric Botcazou
re PR ada/85007 (-b flag to gnatlink not recognized)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-23
Eric Botcazou
re PR ada/85007 (-b flag to gnatlink not recognized)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-23
Eric Botcazou
re PR ada/85036 (--disable-bootstrap --enable-languages...
blob
|
commitdiff
|
raw
|
diff to current
2018-03-12
Eric Botcazou
re PR ada/82813 (warning: '.builtin_memcpy' writing...
blob
|
commitdiff
|
raw
|
diff to current
2018-03-10
Eric Botcazou
trans.c (node_has_volatile_full_access): Consider only...
blob
|
commitdiff
|
raw
|
diff to current
2018-03-07
Sebastian Huber
Ada: Fix s-oscons.ads generation
blob
|
commitdiff
|
raw
|
diff to current
2018-03-06
Eric Botcazou
trans.c (convert_with_check): Fix typo in the condition...
blob
|
commitdiff
|
raw
|
diff to current
2018-03-06
Eric Botcazou
* gcc-interface/utils.c (def_builtin_1): Bail out on...
blob
|
commitdiff
|
raw
|
diff to current
2018-02-28
Eric Botcazou
i-cexten.ads (Float_128): New type.
blob
|
commitdiff
|
raw
|
diff to current
2018-02-02
Eric Botcazou
decl.c (array_type_has_nonaliased_component): Return...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Gary Dismukes
[Ada] Warning on out-of-range value for default-initial...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Ed Schonberg
[Ada] Crash on build-in-place call with address specifi...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Piotr Trojanek
[Ada] Allow uses of range utility routines on private...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Prohibit concurrent types in Ghost regions
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Detection of illegal constituent assignments
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Arnaud Charlet
[Ada] Bump copyright notices to 2018
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Justin Squirek
[Ada] No error on missing enclosing parentheses in...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Missing diagnostic of categorization dependency
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Incorrect diagnostic on illegal with clause
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Ed Schonberg
[Ada] Spurious error on referene to subcoponrnt in...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Secondary stack leaks during object initialization
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Jerome Lambourg
[Ada] QNX: various runtime fixes for file I/O, timers...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Bob Duff
[Ada] Null procedures not allowed in protected definitions
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Bob Duff
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Bob Duff
[Ada] Improve documentation of xml2gnat
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Bob Duff
[Ada] gnatbind -f switch gives an error for duplicates
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Ed Schonberg
[Ada] Crash on expression function as completion, with...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Ben Brosgol
[Ada] Add Sphinx option -W to treat warnings as errors
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Ben Brosgol
[Ada] Minor type/wording corrections
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Ed Schonberg
[Ada] Warning on use of predefined operations on an...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Javier Miranda
exp_util.adb (Remove_Side_Effects): No action done...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Piotr Trojanek
[Ada] Annotate standard File_Type with Default_Initial_...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Pascal Obry
[Ada] New implementation for Normalize_Pathname
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Bob Duff
[Ada] Update gnatpp documentation after engine change
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Secondary stack leak due to controlled component
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Yannick Moy
[Ada] Update description of restriction SPARK_05 with...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Vasiliy Fofanov
[Ada] Minor layout fix in documentation sources
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Ed Schonberg
[Ada] Handling of pragma Predicate
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Doug Rupp
[Ada] Enable sigtramp for aarch64-vx7
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Different runtime behavior of Predicate_Failure
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Patrick Bernardi
[Ada] Integer overflow in SS_Allocate
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Ed Schonberg
[Ada] Illegal protected calls in inherited pre/postcond...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Encoding of with clauses in ALI files
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Finding proper scope when inside entry body
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Patrick Bernardi
[Ada] Aspect/pragma Secondary_Stack_Size can evaluate...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Justin Squirek
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Missing finalization in case expression
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Ed Schonberg
[Ada] Crash on iterated_component_association in expres...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Justin Squirek
[Ada] Wrong column in sloc of "expect name" error for...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Hristian Kirtchev
[Ada] Inconsistent scope chain due to quantified expression
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Piotr Trojanek
[Ada] Fix minor comment issues
blob
|
commitdiff
|
raw
|
diff to current
2018-01-11
Arnaud Charlet
einfo.ads, einfo.adb (Activation_Record_Component,...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-10
Eric Botcazou
decl.c (gnat_to_gnu_component_type): Apply the check...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-04
Eric Botcazou
* gnatvsn.ads: Bump copyright year.
blob
|
commitdiff
|
raw
|
diff to current
2018-01-03
Richard Sandiford
poly_int: GET_MODE_BITSIZE
blob
|
commitdiff
|
raw
|
diff to current
2018-01-03
Richard Sandiford
poly_int: GET_MODE_PRECISION
blob
|
commitdiff
|
raw
|
diff to current
2018-01-03
Richard Sandiford
poly_int: TYPE_VECTOR_SUBPARTS
blob
|
commitdiff
|
raw
|
diff to current
2018-01-03
Richard Sandiford
poly_int: GET_MODE_NUNITS
blob
|
commitdiff
|
raw
|
diff to current
2018-01-03
Jakub Jelinek
Update copyright years.
blob
|
commitdiff
|
raw
|
diff to current
2018-01-03
Jakub Jelinek
gcc.c (process_command): Update copyright notice dates.
blob
|
commitdiff
|
raw
|
diff to current
2017-12-21
Eric Botcazou
Add missing PR number
blob
|
commitdiff
|
raw
|
diff to current
2017-12-21
Eric Botcazou
decl.c (gnat_to_gnu_entity): Always take into account...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-21
Richard Sandiford
poly_int: get_inner_reference & co.
blob
|
commitdiff
|
raw
|
diff to current
2017-12-20
Eric Botcazou
trans.c (Loop_Statement_to_gnu): Use IN_RANGE macro.
blob
|
commitdiff
|
raw
|
diff to current
2017-12-19
Jakub Jelinek
read-rtl.c (parse_reg_note_name): Replace Yoda conditio...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-19
Arnaud Charlet
re PR ada/66205 (gnatbind generates invalid code when...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-15
Jakub Jelinek
tree-core.h (struct attribute_spec): Swap affects_type_...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-15
Pierre-Marie de...
exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-15
Pierre-Marie de...
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-12-15
Pierre-Marie de...
einfo.ads: Comment fix.
blob
|
commitdiff
|
raw
|
diff to current
2017-12-15
Pierre-Marie de...
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-12-15
Pierre-Marie de...
gnat_and_program_execution.rst: Update section "Dynamic...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-15
Pierre-Marie de...
gcc/ada/ChangeLog: add entries missing from previous...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-15
Pierre-Marie de...
[multiple changes]
blob
|
commitdiff
|
raw
|
diff to current
2017-12-15
Bob Duff
types.ads, [...]: Partly revert r255414, committed...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Eric Botcazou
* gcc-interface/Makefile.in: Generalize support for...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Eric Botcazou
* gcc-interface/misc.c (default_pass_by_ref): Minor...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Eric Botcazou
trans.c (Call_to_gnu): Set DECL_DISREGARD_INLINE_LIMITS...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Eric Botcazou
decl.c (gnat_to_gnu_field): Do not set the alignment...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-14
Eric Botcazou
gigi.h (pad_type_has_rm_size): Declare.
blob
|
commitdiff
|
raw
|
diff to current
2017-12-13
Eric Botcazou
* gcc-interface/trans.c (Subprogram_Body_to_gnu): Initi...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-13
Eric Botcazou
trans.c (process_freeze_entity): Be prepared for a...
blob
|
commitdiff
|
raw
|
diff to current
next