?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
[Ada] Remove redundant predicate checks
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
2018-09-26 Ed Schonberg[Ada] Missing error on non-limited derived type with...
2018-09-26 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-09-26 Ed Schonberg[Ada] Missing predicate check on return value
2018-09-26 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-09-26 Ed Schonberg[Ada] Disable special handling for preconditions specified...
2018-09-26 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-09-26 Ed Schonberg[Ada] Unnesting: fix handling of up level refs for...
2018-09-26 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-09-26 Ed Schonberg[Ada] Fix ICE related to type freezing
2018-09-26 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Crash on expression function and tagged types
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Spurious crash on expression function as completion...
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Spurious error on overriding protected function...
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Properly set scope of artificial entities in...
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Fix scope computation for loop statements
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Spurious ambiguity error on call returning an...
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Set scope of elaboration flag for 'Access
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Sprint: add guard on printing aspects
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Unnesting: do not set size of access subprograms
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Unnesting: do not emit warnings for access to...
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Improper copying of limited arrays with default...
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Spurious "Duplicated symbol" error with discriminated...
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Fix scope computation for entry bodies and accept...
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-08-21 Ed Schonberg[Ada] Compiler abort on call to expr. function for...
2018-08-21 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-31 Ed Schonberg[Ada] Unnesting: improve support for entries in protected...
2018-07-31 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-31 Ed Schonberg[Ada] Refine generation of range checks to happen in...
2018-07-31 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-31 Ed Schonberg[Ada] Unnesting: find local subps in nested stmt sequences
2018-07-31 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-31 Ed Schonberg[Ada] Spurious error on default parameter in protected...
2018-07-31 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-31 Ed Schonberg[Ada] Spurious warning on iteration over range of 64...
2018-07-31 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-31 Ed Schonberg[Ada] Fix resolution of class-wide operations that...
2018-07-31 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-17 Ed Schonberg[Ada] Spurious error on prefixed call in an instantiation
2018-07-17 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-17 Ed Schonberg[Ada] Fix expansion of aggregates components rewritten...
2018-07-17 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-17 Ed Schonberg[Ada] Missing check on illegal equality operation in...
2018-07-17 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-17 Ed Schonberg[Ada] Unnesting: don't use Get_Actual_Subtype for record...
2018-07-17 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-17 Ed Schonberg[Ada] Fix Enclosing_Subprogram for protected entries...
2018-07-17 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-17 Ed Schonberg[Ada] Einfo: update documentation for Scalar_Range
2018-07-17 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-17 Ed Schonberg[Ada] Fix unnesting issues involving tasks
2018-07-17 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
2018-07-17 Ed Schonberg[Ada] Fix handling of inherited discriminant constraints
2018-07-17 Ed Schonberg <schonberg@adacore.com>
 commit | commitdiff | tree
next
Mirror of the offical gcc git repository hosted at gcc.gnu.org