git.libre-soc.org Git - gcc.git/search

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
2018-11-14	Ed Schonberg	[Ada] Improper extension of bounds of fixed-point type 2018-11-14 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-10-09	Ed Schonberg	[Ada] Unnesting: fix handling of private types that... 2018-10-09 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-10-09	Ed Schonberg	[Ada] Fix expansion of operations on nonbinary modular... 2018-10-09 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-10-09	Ed Schonberg	[Ada] Unnesting: fix handling of uplevel refs to unconstrain... 2018-10-09 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-10-09	Ed Schonberg	[Ada] Reset Is_True_Constant on entites used as OUT... 2018-10-09 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-10-09	Ed Schonberg	[Ada] Unnesting: avoid unnecessary loads of System 2018-10-09 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-10-09	Ed Schonberg	[Ada] Spurious error message on visibiliy change in... 2018-10-09 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-10-09	Ed Schonberg	[Ada] Preserve Do_Range_Check flags in SPARK mode 2018-10-09 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-10-09	Ed Schonberg	[Ada] Spurious warning on uninitialized entity during... 2018-10-09 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-09-26	Ed Schonberg	[Ada] Missing front-end code for constraint checks... 2018-09-26 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-09-26	Ed Schonberg	[Ada] Spurious error on private extension with predicate 2018-09-26 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
next

RSS Atom