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

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
2018-07-16	Ed Schonberg	[Ada] Fix expansion of blocks in loops inside elaboration... 2018-07-16 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-07-16	Ed Schonberg	[Ada] Deep copy operands of membership operations for... 2018-07-16 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-07-16	Ed Schonberg	[Ada] Unnesting: handle 'Address references that are... 2018-07-16 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-07-16	Ed Schonberg	[Ada] Unnesting: handle the semantic of Storage_Pool... 2018-07-16 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-07-16	Ed Schonberg	[Ada] Fix Default_Storage_Pool aspect handling in generic... 2018-07-16 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-07-16	Ed Schonberg	[Ada] Major code cleanup 2018-07-16 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-07-16	Ed Schonberg	[Ada] Use common routine Expand_Nonbinary_Modular_Op... 2018-07-16 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-07-16	Ed Schonberg	[Ada] Add a missing check for trivial predicates on... 2018-07-16 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Unnesting: refactor handling of uplevel refs... 2018-06-11 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Missing predicate function body for derived type... 2018-06-11 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Unnesting: robustify analysis of block statements 2018-06-11 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Unnesting: fix handling of generic associations 2018-06-11 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Unnesting: fix handling of stubs 2018-06-11 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Crash with Inline_Always on a function with an... 2018-06-11 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Crash on instantiation of nested generic in private... 2018-06-11 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-06-11	Ed Schonberg	[Ada] Unnesting: improve handling of bounds for formal... 2018-06-11 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-31	Ed Schonberg	[Ada] Static predicate check on characters of a string... 2018-05-31 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-31	Ed Schonberg	[Ada] Illegal copy of limited object 2018-05-31 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-31	Ed Schonberg	[Ada] Minor comment improvement 2018-05-31 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-31	Ed Schonberg	[Ada] Unnesting: add a predicate to help expansion... 2018-05-31 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-31	Ed Schonberg	[Ada] Convert operands of generated code to Standard... 2018-05-31 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: always transform local Raise statements 2018-05-30 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: handle the semantic of Procedure_To_Call... 2018-05-30 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: skip unanalyzed Component_Assocation 2018-05-30 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Extend the applicability of Thread_Local_Storage... 2018-05-30 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Refine logic to set Needs_Activation_Record on... 2018-05-30 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: look for specification of main unit 2018-05-30 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: properly handle local subprogram in... 2018-05-30 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-30	Ed Schonberg	[Ada] Unnesting: properly handle subprogram instantiations 2018-05-30 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-29	Ed Schonberg	[Ada] Attach reference to finalizers to tree 2018-05-29 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-29	Ed Schonberg	[Ada] Unnesting: handle statement sequences that include... 2018-05-29 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-29	Ed Schonberg	[Ada] Unnesting: do not generate push/pop for exceptions 2018-05-29 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-29	Ed Schonberg	[Ada] Improper behavior of floating-point attributes 2018-05-29 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-29	Ed Schonberg	[Ada] Clarify use of Activation_Record_Component 2018-05-29 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-29	Ed Schonberg	[Ada] Set scope of component of subtype 2018-05-29 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-29	Ed Schonberg	[Ada] Unnesting: exclude selected components whose... 2018-05-29 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-28	Ed Schonberg	[Ada] Unnesting: check index expressions for uplevel... 2018-05-28 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-28	Ed Schonberg	[Ada] Unnesting: allow uplevel references to exceptions 2018-05-28 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-28	Ed Schonberg	[Ada] Improve unnesting for discriminants of record... 2018-05-28 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
2018-05-28	Ed Schonberg	[Ada] Introduce a new Needs_Activation_Record entity... 2018-05-28 Ed Schonberg <schonberg@adacore.com>	commit \| commitdiff \| tree
next

RSS Atom