| 2018-05-25 |
Ed Schonberg | [Ada] Strengthen checks for instantiation with interface...
2018-05-25 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-25 |
Ed Schonberg | [Ada] Checks on instantiations with formal derived...
2018-05-25 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-25 |
Ed Schonberg | [Ada] Refine checks for uplevel references
2018-05-25 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-25 |
Ed Schonberg | [Ada] Compiler loop on expression function and predicate...
2018-05-25 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-24 |
Ed Schonberg | [Ada] Add a new Is_Activation_Record flag on IN parameters
2018-05-24 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-24 |
Ed Schonberg | [Ada] Infinite loop in the compiler when warning on...
2018-05-24 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-24 |
Ed Schonberg | [Ada] Add warning on redundant others_clause in array...
2018-05-24 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-23 |
Ed Schonberg | [Ada] Spurious error on instantiation with type with...
2018-05-23 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-23 |
Ed Schonberg | [Ada] Implementation of AI12-0131: legality of class...
2018-05-23 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-23 |
Ed Schonberg | [Ada] Missing legality check on iterator over formal...
2018-05-23 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-23 |
Ed Schonberg | [Ada] Crash on predicate involving qualified expression...
2018-05-23 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-23 |
Ed Schonberg | [Ada] Compiler fails to reject illegal store of anonymous_ac...
2018-05-23 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-22 |
Ed Schonberg | [Ada] Better error message on illegal 'Access on formal...
2018-05-22 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-22 |
Ed Schonberg | [Ada] Ada2020: Reduction expressions
2018-05-22 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-22 |
Ed Schonberg | [Ada] Crash with private types and renamed discriminants
2018-05-22 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-22 |
Ed Schonberg | [Ada] Spurious visibility error in a nested instance...
2018-05-22 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-22 |
Ed Schonberg | [Ada] Spurious visibility error on aspect in generic...
2018-05-22 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-22 |
Ed Schonberg | [Ada] Crash on pragma Compile_Time_Warning with declared...
2018-05-22 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-22 |
Ed Schonberg | [Ada] Spurious size error on fixed point type with...
2018-05-22 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-21 |
Ed Schonberg | [Ada] Spurious warning on object declaration with address...
2018-05-21 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-21 |
Ed Schonberg | [Ada] Error message on invalid conversion involving...
2018-05-21 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-21 |
Ed Schonberg | [Ada] Exit statement in loops over iterable objects
2018-05-21 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-21 |
Ed Schonberg | [Ada] Spurious error on indexed call as prefix of a...
2018-05-21 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-05-21 |
Ed Schonberg | [Ada] Extend legality of Scalar_Storage_Order to formal...
2018-05-21 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-01-11 |
Ed Schonberg | [Ada] Crash on build-in-place call with address specificatio...
2018-01-11 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-01-11 |
Ed Schonberg | [Ada] Spurious error on referene to subcoponrnt in...
2018-01-11 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-01-11 |
Ed Schonberg | [Ada] Crash on expression function as completion, with...
2018-01-11 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-01-11 |
Ed Schonberg | [Ada] Warning on use of predefined operations on an...
2018-01-11 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-01-11 |
Ed Schonberg | [Ada] Handling of pragma Predicate
2018-01-11 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-01-11 |
Ed Schonberg | [Ada] Illegal protected calls in inherited pre/postconditions
2018-01-11 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2018-01-11 |
Ed Schonberg | [Ada] Crash on iterated_component_association in expression...
2018-01-11 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-10-10 |
Ed Schonberg | class_wide4.adb: Fix a typo.
|
commit | commitdiff | tree |
| 2017-09-06 |
Ed Schonberg | freeze.adb (Freeze_Entity): Do not generate a freeze...
2017-09-06 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-04-27 |
Ed Schonberg | sem_util.adb, [...] (Build_Class_Wide_Clone_Body):...
2017-04-27 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-04-25 |
Ed Schonberg | sem_util.adb, [...] (From_Nested_Package): New predicate...
2017-04-25 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-04-25 |
Ed Schonberg | sem_ch6.adb (Analyze_Expression_Function): If expression...
2017-04-25 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-04-25 |
Ed Schonberg | sem_ch3.adb (Check_Entry_Contract): Call Preanalyze_Spec_Exp...
2017-04-25 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-01-23 |
Ed Schonberg | sem_prag.adb (Default_Initial_Condition): If the desired...
2017-01-23 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-01-23 |
Ed Schonberg | sem_ch4.adb (Try_Primitive_Operations, [...]): argument...
2017-01-23 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-01-23 |
Ed Schonberg | scans.ads: New token At_Sign.
2017-01-23 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-01-19 |
Ed Schonberg | sem_dim.adb (Analyze_Dimension): Analyze object declaration...
2017-01-19 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-01-13 |
Ed Schonberg | exp_util.adb (Insert_Actions): Handle Iterated_Component_Ass...
2017-01-13 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-01-06 |
Ed Schonberg | exp_ch3.adb (Build_Initialization_Call): Apply predicate...
2017-01-06 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-01-06 |
Ed Schonberg | exp_ch6.adb (Expand_Protected_Subprogram_Call): Add...
2017-01-06 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2017-01-06 |
Ed Schonberg | exp_ch5.adb (Get_Default_Iterator): For a derived type...
2017-01-06 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-10-12 |
Ed Schonberg | sem_ch12.adb (Check_Formal_Package_Instance): Skip...
2016-10-12 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-10-12 |
Ed Schonberg | contracts.adb (Analyze_Contracts): For a type declaration...
2016-10-12 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-07-04 |
Ed Schonberg | ghost.adb (Prune_Node): A freeze node for an ignored...
2016-07-04 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-07-04 |
Ed Schonberg | freeze.adb (Check_Inherited_Conditions): Perform two...
2016-07-04 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-06-22 |
Ed Schonberg | sem_prag.ads (Build_Classwide_Expression): new procedure...
2016-06-22 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-06-22 |
Ed Schonberg | exp_ch4.adb (In_Range_Chec)): New predicate, subsidiary...
2016-06-22 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-06-20 |
Ed Schonberg | sem_ch13.adb (Visible_Component): New procedure...
2016-06-20 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-05-02 |
Ed Schonberg | sem_util.adb (Normalize_Actuals): Take into account...
2016-05-02 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-04-21 |
Ed Schonberg | freeze.adb: Freeze profile in ASIS mode.
2016-04-21 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-04-21 |
Ed Schonberg | sem_ch6.adb (Analyze_Subprogram_Body_Helper): If the...
2016-04-21 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-04-20 |
Ed Schonberg | sem_util.ads, [...] (Is_Expanded_Priority_Attribute...
2016-04-20 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2016-04-18 |
Ed Schonberg | sem_ch6.adb (Analyze_Expression_Function): Set Inlined...
2016-04-18 Ed Schonberg <schonberg@adacore.com>
2016-04-18 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-11-18 |
Ed Schonberg | sem_ch4.adb (Try_Container_Indexing): When constructing...
2015-11-18 Ed Schonberg <schonberg@adacore.com>
2015-11-18 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-11-12 |
Ed Schonberg | exp_attr.adb (Compile_Stream_Body_In_Scope): When compiling...
2015-11-12 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-10-26 |
Ed Schonberg | sem_case.adb (Check_Choice_Set): Choose initial choice...
2015-10-26 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-10-26 |
Ed Schonberg | sem_ch12.adb (Analyze_Formal_Package_Declaration):...
2015-10-26 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-10-23 |
Ed Schonberg | sem_ch6.adb (Check_Missing_Return): Do not report a...
2015-10-23 Ed Schonberg <schonberg@adacore.com>
2015-10-23 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-10-20 |
Ed Schonberg | sem_ch13.adb (Analyze_One_Aspect, [...]): If expander...
2015-10-20 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-10-20 |
Ed Schonberg | sem_ch3.adb (Check_Nonoverridable_Aspects): New procedure...
2015-10-20 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-10-16 |
Ed Schonberg | sem_util.adb (Gather_Components): When gathering components...
2015-10-16 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-05-28 |
Ed Schonberg | sem_util.adb (Wrong_Type): In any instance...
2015-05-28 Ed Schonberg <schonberg@adacore.com>
2015-05-28 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-05-26 |
Ed Schonberg | exp_aggr.adb (Build_Array_Aggr_Code, Gen_Assign): If...
2015-05-26 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-05-22 |
Ed Schonberg | sem_res.adb (Resolve_Actuals): If the call is to an...
2015-05-22 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-05-22 |
Ed Schonberg | sem_ch10.adb (Analyze_With_Clause): In ASIS_Mode...
2015-05-22 Ed Schonberg <schonberg@adacore.com>
2015-05-22 Ed Schonberg <schonberg@adacore.com>
2015-05-22 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-05-21 |
Ed Schonberg | sem_ch13.adb (Check_Iterator_Functions): Emit error...
2015-05-21 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-05-12 |
Ed Schonberg | sem_ch9.adb (Collect_Interfaces): Initialize Direct_Primitiv...
2015-05-12 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-05-12 |
Ed Schonberg | sem_ch3.adb (Analyze_Object_Declaration): New function...
2015-05-12 Ed Schonberg <schonberg@adacore.com>
2015-05-12 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-03-02 |
Ed Schonberg | sem_ch8.adb (Available_Subtype): Optimization in Find_Select...
2015-03-02 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-02-20 |
Ed Schonberg | sem_prag.adb (Analyze_Pragma, [...]): Pragma legally...
2015-02-20 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2015-01-30 |
Ed Schonberg | sem_disp.adb (Is_Dynamically_Tagged): when applied...
2015-01-30 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-11-20 |
Ed Schonberg | sem_ch6.adb: Improve better error message.
2014-11-20 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-10-20 |
Ed Schonberg | sem_ch13.adb: Improve error recovery on illegal aspect.
2014-10-20 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-10-17 |
Ed Schonberg | sem_ch13.adb (Add_Invariants, [...]): Do not perform...
2014-10-17 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-10-17 |
Ed Schonberg | sem_ch3.adb (Build_Derived_Enumeration_Type): Propagate...
2014-10-17 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-08-04 |
Ed Schonberg | exp_ch5.adb: minor reformatting.
2014-08-04 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-08-01 |
Ed Schonberg | restrict.adb (Update_Restrictions): For restrictions...
2014-08-01 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-08-01 |
Ed Schonberg | sem_ch3.adb (Access_Type_Declaration): If designated...
2014-08-01 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-08-01 |
Ed Schonberg | sem_res.adb (Resolve_Entry_Call): When an entry has...
2014-08-01 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-08-01 |
Ed Schonberg | sem_util.adb: Add guard to setting of No_Predicate_On_Actual.
|
commit | commitdiff | tree |
| 2014-08-01 |
Ed Schonberg | sem_util.adb: Add guard to setting of No_Predicate_On_Actual.
2014-08-01 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-08-01 |
Ed Schonberg | 2014-08-01 Ed Schonberg <schonberg@adacore.com>
2014-08-01 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-31 |
Ed Schonberg | sem_attr.adb (Analyze_Attribute, case 'Old): The reference...
2014-07-31 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-31 |
Ed Schonberg | sem_util.ads (Find_Specific_Type): Moved here from...
2014-07-31 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-31 |
Ed Schonberg | sem_ch13.adb (Build_Invariant_Procedure): If body of...
2014-07-31 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-30 |
Ed Schonberg | freeze.adb (Check_Expression_Function): At the freeze...
2014-07-30 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-30 |
Ed Schonberg | sem_ch5.adb: Improve error recovery.
2014-07-30 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-29 |
Ed Schonberg | sem_ch3.adb: Move Has_Defaulted_Discriminants to sem_util.
2014-07-29 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-29 |
Ed Schonberg | lib-xref.adb (Output_Refs, [...]): For a derived array...
2014-07-29 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-29 |
Ed Schonberg | sem_ch6.adb (Analyze_Subprogram_Body_Helper): Build...
2014-07-29 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-29 |
Ed Schonberg | sem_ch6.adb: Move Build_Body_To_Inline...
2014-07-29 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-18 |
Ed Schonberg | sem_aggr.adb (Aggregate_Constraint_Checks): Moved to...
2014-07-18 Ed Schonberg <schonberg@adacore.com>
2014-07-18 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-16 |
Ed Schonberg | a-coinho-shared.adb, [...]: Proper structures for tampering...
2014-07-16 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-07-16 |
Ed Schonberg | a-coinho-shared.adb: Fix spurious accessibility check.
2014-07-16 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Ed Schonberg | sem_ch3.adb (Process_Full_View): Better error message...
2014-02-25 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Ed Schonberg | sem_ch5.adb (Analyze_Loop_Parameter_Specification)...
2014-02-24 Ed Schonberg <schonberg@adacore.com>
|
commit | commitdiff | tree |
