projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Spurious error on universal access equality operator
2019-12-12
Ed Schonberg
[Ada] Spurious error on universal access equality operator
2019-12-12
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Missing dereference in bound of slice in element...
2019-12-12
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Improve error message for dispatching subprogram...
2019-12-12
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Fix processing of standard predefined operators
2019-12-12
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Spurious visibility error on subunit with optimization
2019-12-12
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Missing length check on private type with unknown...
2019-12-12
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Constraint is ignored on constrained access record...
2019-12-12
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada] Spurious warning on call with out parameter in...
2019-10-10
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada] Spurious visibility error on formal package with...
2019-10-10
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada] Missing Predicated_Parent link on array Itype
2019-10-10
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada] Spurious restriction violation on Ghost code
2019-10-10
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada] Spurious visibility error in predicate in generic...
2019-10-10
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-09-19
Ed Schonberg
[Ada] Spurious visibility error in generic child unit
2019-09-19
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-09-19
Ed Schonberg
[Ada] Crash on predicate in full view in a generic...
2019-09-19
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada] Crash on universal case expression in fixed-point...
2019-09-18
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada] Use static discriminant value for discriminated...
2019-09-18
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada] Crash on aggregate with dscriminant in if-expression...
2019-09-18
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Ed Schonberg
[Ada] In a generic use Presanalyze_Spec_Expression...
2019-09-17
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonberg
[Ada] Crash on a Storage_Size aspect depending on attr...
2019-08-20
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonberg
[Ada] Fix propagation of compiler internal flag
2019-08-20
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonberg
[Ada] Crash on Loop_Entry for while_loop involving...
2019-08-20
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-20
Ed Schonberg
[Ada] Spurious error in dispatching call with class...
2019-08-20
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-19
Ed Schonberg
[Ada] Crash on object initialization that is call to...
2019-08-19
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-19
Ed Schonberg
[Ada] Legality of protected subp. implementing interface...
2019-08-19
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-19
Ed Schonberg
[Ada] Improve placement of warning on formals of generic...
2019-08-19
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-19
Ed Schonberg
[Ada] Representation clause for derived enumeration...
2019-08-19
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-14
Ed Schonberg
[Ada] Do not crash with -gnatR3 on Ghost aspects
2019-08-14
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-14
Ed Schonberg
[Ada] Crash on quantified expression in disabled assertion
2019-08-14
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-14
Ed Schonberg
[Ada] Crash on precondition involving quantified expression
2019-08-14
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-13
Ed Schonberg
[Ada] Legality rule on ancestors of type extensions...
2019-08-13
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-13
Ed Schonberg
[Ada] Do not remove side-effects in an others_clause...
2019-08-13
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-13
Ed Schonberg
[Ada] Add conformance check on actual subp. in instance...
2019-08-13
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-12
Ed Schonberg
[Ada] Missing check on outbound parameter of a non...
2019-08-12
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-12
Ed Schonberg
[Ada] Crash on illegal left-hand side in assignment...
2019-08-12
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-08-12
Ed Schonberg
[Ada] Improper error message on equality op with different...
2019-08-12
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-23
Ed Schonberg
[Ada] Aspect CPU may depend on a discriminant of a...
2019-07-23
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-23
Ed Schonberg
[Ada] Iterators are view-specific
2019-07-23
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Remove misleading warning/suggestion in membership...
2019-07-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Optimization loses exception in improper use...
2019-07-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Misleading warning on variable not assigned
2019-07-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Type inconsistency in floating_point type declarations
2019-07-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Incorrect values in conversion from fixed-point...
2019-07-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Ed Schonberg
[Ada] Spurious warning about a useless assignment
2019-07-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-11
Ed Schonberg
[Ada] Crash on protected type with self-referential...
2019-07-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-11
Ed Schonberg
[Ada] Remove redundant predicate checks
2019-07-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-11
Ed Schonberg
[Ada] Compile-time evaluation of predicate checks
2019-07-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-10
Ed Schonberg
[Ada] Spurious run-time error with 64-bit modular types
2019-07-10
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-10
Ed Schonberg
[Ada] Crash on aggregate for limited type in extended...
2019-07-10
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-10
Ed Schonberg
[Ada] Spurious error on overloaded equality in postcondition
2019-07-10
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Ed Schonberg
[Ada] Access to uninitialized memory by predicate check
2019-07-09
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Ed Schonberg
[Ada] Crash/infinite loop on program with multiple...
2019-07-09
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Ed Schonberg
[Ada] Wrong resolution of equality operator with overloaded...
2019-07-09
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Ed Schonberg
[Ada] Spurious error when instance of generic is used...
2019-07-09
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Ed Schonberg
[Ada] Fix scopes for local variables in task/protected...
2019-07-09
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Ed Schonberg
[Ada] Crash on timed entry call with a delay given...
2019-07-08
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Ed Schonberg
[Ada] Semantics of Delete for fixed strings
2019-07-08
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Ed Schonberg
[Ada] Crash on named actual in postcondition for generic...
2019-07-08
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Ed Schonberg
[Ada] Spurious visibility error on dynamic_predicate...
2019-07-08
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Ed Schonberg
[Ada] Compiler loop on illegal nested accept statement
2019-07-05
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Ed Schonberg
[Ada] Fix position of subprogram body generated for...
2019-07-05
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Ed Schonberg
[Ada] Missing range check on assignment to bit-packed...
2019-07-05
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Ed Schonberg
[Ada] Spurious error on aggregate with choice that...
2019-07-05
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Ed Schonberg
[Ada] Compiler abort on a dynamic predicate used in...
2019-07-05
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-04
Ed Schonberg
[Ada] Spurious error on instantiation and limited_with_clause
2019-07-04
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-04
Ed Schonberg
[Ada] Bug in composition of equality for variant records
2019-07-04
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-04
Ed Schonberg
[Ada] Spurious error on 'First in a generic context
2019-07-04
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-04
Ed Schonberg
[Ada] Unnesting: handle conditional expressions
2019-07-04
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-04
Ed Schonberg
[Ada] Spurious dimensionality error on aggregate with...
2019-07-04
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-03
Ed Schonberg
[Ada] Crash on front-end inlining of subp. with aspect...
2019-07-03
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-03
Ed Schonberg
[Ada] Spurious error with static predicate in generic...
2019-07-03
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-03
Ed Schonberg
[Ada] Spurious error on dynamic predicate in a generic...
2019-07-03
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-03
Ed Schonberg
[Ada] Make loop labels unique for front-end inlined...
2019-07-03
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-03
Ed Schonberg
[Ada] Spurious error on predicate of subtype in generic
2019-07-03
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Ed Schonberg
[Ada] Spurious error on inst. of partially defaulted...
2019-07-01
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Ed Schonberg
[Ada] More permissive use of GNAT attribute Enum_Rep
2019-07-01
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Ed Schonberg
[Ada] Spurious error private subtype derivation
2019-07-01
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Ed Schonberg
[Ada] Crash on improper pragma Weak_External
2019-07-01
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Ed Schonberg
[Ada] Wrong code with -gnatVa on lock-free protected...
2019-07-01
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Ed Schonberg
[Ada] Unnesting: improve handling of private and incomplete...
2019-07-01
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Ed Schonberg
[Ada] Compiler abort on use of Invalid_Value on numeric...
2019-07-01
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Unnesting: do not eliminate subprogram whose...
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Crash on misplaced First operation for GNAT iterable...
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Unnesting: fix a missing activation record
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Fix setting of Has_Predicate flag for aggregate...
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Unnesting: fix for constrained arrays and improve...
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Missing predicate check on declaration with aggregate...
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Uintp: add a new UI_From_Integral generic constructor
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Crash on compilation unit function that builds...
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] GNATprove: improve proofs for uninitialized constraine...
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Additionsal trasformations for unnesting in package...
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Spurious visibility error on aspect Predicate
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Spurious errors on aspect specifications in generic...
2018-12-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-03
Ed Schonberg
[Ada] Spurious error on dependent expression that is...
2018-12-03
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-03
Ed Schonberg
[Ada] Enhance comment
2018-12-03
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-12-03
Ed Schonberg
[Ada] Missing check on if-expression
2018-12-03
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[Ada] Problem with boundary case of XOR operation and...
2018-11-14
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[Ada] Missing constraint check on if-expression returning...
2018-11-14
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[Ada] Compiler crash on decl. with limited aggregate...
2018-11-14
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[Ada] Enhance constraints propagation to ease the work...
2018-11-14
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[Ada] Unnesting transformations for blocks in package...
2018-11-14
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
next