projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Don't build equivalent record aggregate if type has predicates
2020-06-10
Javier Miranda
[Ada] Classwide controlled obj not dispatching
2020-06-10
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Javier Miranda
[Ada] Missing check on private overriding of dispatching...
2020-06-09
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Javier Miranda
[Ada] Better code generation for nested aggregates
2020-06-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Javier Miranda
[Ada] CCG: regressions on ACATS c460007, c46013a, cd1009d
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Javier Miranda
[Ada] Improved support for aspect alignment in CCG
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Javier Miranda
[Ada] Compiler crash processing controlled type primitive
2020-06-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-18
Javier Miranda
[Ada] Reserving switch d_K for known problem isssues...
2019-12-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Miranda
[Ada] Spurious error on precondition of subprogram...
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Miranda
[Ada] Adding support for unsupported type conversions...
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Miranda
[Ada] Pragma Linker_Section in subprogram instantiations...
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Miranda
[Ada] Adding support for unsupported type conversion...
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Javier Miranda
[Ada] Deallocation of controlled type implementing...
2019-12-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
Javier Miranda
[Ada] Fix portability issues in access to subprograms
2019-09-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
Javier Miranda
[Ada] Code cleanup of alignment representation clauses...
2019-09-18
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada] Missing propagation of Has_Predicates in cloned...
2019-09-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada] Missing tagged type decoration in corresponding...
2019-09-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada] Ada 2020: Raise expressions in limited contexts...
2019-09-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Javier Miranda
[Ada] Adding assertions on extra formals for BIP function...
2019-09-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-21
Javier Miranda
[Ada] Missing attribute update in new_copy_tree
2019-08-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-19
Javier Miranda
[Ada] Buffer reading overflow in dispatch table initialization
2019-08-19
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-14
Javier Miranda
[Ada] Sem_Util: fix a bug in New_Copy_Tree
2019-08-14
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-14
Javier Miranda
[Ada] Fix a recent ACATS regression (c552001)
2019-08-14
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-13
Javier Miranda
[Ada] Wrong dispatching call in type with aspect Implicit_De...
2019-08-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-08-13
Javier Miranda
[Ada] Wrong initialization of Offset_To_Top in secondary DT
2019-08-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Javier Miranda
[Ada] Spurious error passing access to class-wide interface...
2019-07-22
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Javier Miranda
[Ada] Usage of signed type in array bounds in CCG
2019-07-22
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-22
Javier Miranda
[Ada] Crash in C++ constructor without external and...
2019-07-22
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-10
Javier Miranda
[Ada] Missing implicit interface type conversion
2019-07-10
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Javier Miranda
[Ada] Missing error on generic type with representation...
2019-07-09
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-09
Javier Miranda
[Ada] Missing runtime range checks with -gnatVa
2019-07-09
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Javier Miranda
[Ada] Wrong evaluation of membership test
2019-07-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Javier Miranda
[Ada] Crash in interface derivation with null primitive
2019-07-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Javier Miranda
[Ada] Code reorganization
2019-07-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-08
Javier Miranda
[Ada] Spurious error reported by pragma Compile_Time_Error
2019-07-08
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Javier Miranda
[Ada] Wrong accessibility level under -gnat12
2019-07-05
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Javier Miranda
[Ada] Removing support for SCIL "contract-only" subprogram...
2019-07-05
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-04
Javier Miranda
[Ada] Spurious error on non-default C++ constructor
2019-07-04
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-03
Javier Miranda
[Ada] Exp_Attr: remove dead code
2019-07-03
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2019-07-01
Javier Miranda
[Ada] Disable expansion of 'Min/'Max of floating point...
2019-07-01
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Javier Miranda
[Ada] Fix runtime stack overflow for out/in-out actuals...
2018-12-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-12-11
Javier Miranda
[Ada] Fix an ACATS regression with CCG
2018-12-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-11-14
Javier Miranda
[Ada] Crash on interface equality covered by a renaming...
2018-11-14
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-09-26
Javier Miranda
[Ada] Spurious error on interface conversion under ZFP
2018-09-26
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-09-26
Javier Miranda
[Ada] Mimic the C++ ABI when passing class-wide conversion...
2018-09-26
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-09-26
Javier Miranda
[Ada] ICE on mix of tagged and limited interfaces
2018-09-26
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-08-21
Javier Miranda
[Ada] Crash processing SPARK annotate aspect
2018-08-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-08-21
Javier Miranda
[Ada] Crash compiling SPARK ghost functions with callgraph...
2018-08-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-08-21
Javier Miranda
[Ada] Enumeration types with non-standard representation
2018-08-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Javier Miranda
[Ada] Fix a freezing issue
2018-07-31
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Javier Miranda
[Ada] Crash processing abstract state aspect of a package
2018-07-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Javier Miranda
[Ada] Secondary stack leak in statements block located...
2018-07-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Javier Miranda
[Ada] Secondary stack leak in loop iterator
2018-07-17
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Bit_Order cannot be defined for record extensions
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Code cleanup on functions inlining
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Crash processing sources under GNATprove debug...
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Sem_Ch4: minor code cleanup
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Fix expansion of 'Count in protected types
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Sem_Utils: make Has_Prefix public
2018-07-16
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Javier Miranda
[Ada] Crash on protected type entry family
2018-06-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Javier Miranda
[Ada] Wrong code in array aggregates of Ada coextensions
2018-06-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Javier Miranda
[Ada] Fix compiler crash for tagged private types
2018-05-31
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-29
Javier Miranda
[Ada] Wrong equality on untagged private type
2018-05-29
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-28
Javier Miranda
[Ada] Fix regression of ACATS c46032a with CCG back end
2018-05-28
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
Javier Miranda
[Ada] Membership test of class-wide interface
2018-05-25
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Javier Miranda
[Ada] Wrong renaming of variant record equality
2018-05-24
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Javier Miranda
[Ada] Missing error on illegal access to discriminant
2018-05-24
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Javier Miranda
[Ada] Spurious error on private task derivation
2018-05-24
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-23
Javier Miranda
[Ada] Crash processing Valid_Scalars whose evaluation...
2018-05-23
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-23
Javier Miranda
[Ada] Restrict initialization of External_Tag and Expanded_Name
2018-05-23
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-22
Javier Miranda
[Ada] Disable name generation for External_Tag and...
2018-05-22
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-22
Javier Miranda
[Ada] Adding support for Ada.Locales package
2018-05-22
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Javier Miranda
[Ada] Avoid compiler crash for body in non Ada 2012...
2018-05-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
Javier Miranda
exp_util.adb (Remove_Side_Effects): No action done...
2018-01-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2017-09-29
Javier Miranda
Add missing ChangeLog entries for previous commit
commit
|
commitdiff
|
tree
2017-01-23
Javier Miranda
sem_util.adb (New_Copy_Tree): Code cleanup: removal...
2017-01-23
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2016-10-13
Javier Miranda
sem_prag.ads (Process_Compile_Time_Warning_Or_Error...
2016-10-13
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2016-07-06
Javier Miranda
sem_ch6.adb (Check_Inline_Pragma): if the subprogram...
2016-07-06
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2016-07-06
Javier Miranda
sem_ch7.adb (Analyze_Package_Specification): Insert...
2016-07-06
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2016-06-14
Javier Miranda
sem_attr.adb (Analyze_Attribute_Old_Result): Adding...
2016-06-14
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2016-04-21
Javier Miranda
exp_aggr.adb (Component_Check): Extend the check that...
2016-04-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2016-04-21
Javier Miranda
sem_ch6.adb (Build_Subprogram_Declaration): Propagate...
2016-04-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2016-04-21
Javier Miranda
frontend.adb: Update call to Unnest_Subprograms.
2016-04-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2016-04-20
Javier Miranda
contracts.adb (Build_Postconditions_Procedure): Code...
2016-04-20
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2015-05-25
Javier Miranda
einfo.ads, einfo.adb (Has_Out_Or_In_Out_Parameter)...
2015-05-25
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2015-03-02
Javier Miranda
exp_ch9.adb (Build_Corresponding_Record): Propagate...
2015-03-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2014-10-10
Javier Miranda
exp_ch3.adb (Build_Init_Procedure): Complete the condition...
2014-10-10
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2014-08-01
Javier Miranda
gnat1drv.adb (Adjust_Global_Switches): Reverse meaning...
2014-08-01
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2014-07-31
Javier Miranda
decl.c, [...]: Add handling of Inline_Always pragma.
commit
|
commitdiff
|
tree
2014-05-21
Javier Miranda
sem_ch3.adb (Build_Derived_Record_Type): Initialize...
2014-05-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2013-04-11
Javier Miranda
check.ads, [...] (Install_Null_Excluding_Check): No...
2013-04-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2013-04-11
Javier Miranda
exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements...
2013-04-11
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2013-01-29
Javier Miranda
errout.ads, errout.adb (Get_Ignore_Errors): New subprogram.
2013-01-29
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2012-10-03
Javier Miranda
exp_ch4.adb (Expand_N_Allocator_Expression): Minor...
2012-10-03
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2012-03-09
Javier Miranda
sem_ch6.adb (Check_Body_To_Inline): In AAMP and VM...
2012-03-09
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2012-03-07
Javier Miranda
sem_ch3.adb (Analyze_Object_Declaration): If the object...
2012-03-07
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2012-01-30
Javier Miranda
re PR ada/15846 (Illegal program not detected, self...
2012-01-30
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2011-12-21
Javier Miranda
sem_ch3.ads, [...] (Check_CPP_Type): New subprogram.
2011-12-21
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2011-08-30
Javier Miranda
sem_ch3.adb (Check_Abstract_Overriding): Code cleanup...
2011-08-30
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2011-08-30
Javier Miranda
exp_ch3.adb (Make_Eq_If): If the etype of the _parent...
2011-08-30
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
2011-08-02
Javier Miranda
exp_ch6.adb (Expand_N_Subprogram_Body): Temporarily...
2011-08-02
Javier Miranda
<miranda@adacore.com>
commit
|
commitdiff
|
tree
next