projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Crash when an exception handler is executed with -gnatdk
2020-07-06
Arnaud Charlet
[Ada] AI12-0376 Relax RM 13.1(10) rule wrt primitive...
commit
|
commitdiff
|
tree
2020-07-06
Arnaud Charlet
[Ada] Default_Initial_Condition check done after extended...
commit
|
commitdiff
|
tree
2020-06-19
Arnaud Charlet
[Ada] AI12-0366 Changes to Big_Integer and Big_Real
2020-06-19
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-19
Arnaud Charlet
[Ada] universal_access equality and 'Access attributes
2020-06-19
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-19
Arnaud Charlet
[Ada] Add missing warning tag for some overlapping...
2020-06-19
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Arnaud Charlet
[Ada] ACATS 4.1J - B854003 - Subtype conformance check...
2020-06-18
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Arnaud Charlet
[Ada] Add support for XDR streaming in the default...
2020-06-18
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Arnaud Charlet
[Ada] Profile mismatch between C and Ada functions
2020-06-18
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Arnaud Charlet
[Ada] Suppress CodePeer message on possible uninitialized...
2020-06-18
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-18
Arnaud Charlet
[Ada] ACATS 4.1L - B452002 - Wrong universal access...
2020-06-18
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Arnaud Charlet
[Ada] ACATS 4.1H - BA12018 - Missed errors for private...
2020-06-17
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Arnaud Charlet
[Ada] Improve error message on anonymous access parameter...
2020-06-17
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-17
Arnaud Charlet
[Ada] Remove obsolete comments in Big_Numbers
2020-06-17
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Arnaud Charlet
[Ada] ACATS C452005/C452006 memberships use wrong equality...
2020-06-16
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Arnaud Charlet
[Ada] ACATS 4.1P - C432003 - Errors missed on extension...
2020-06-16
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Arnaud Charlet
[Ada] ACATS 4.1P - BC55001 - Error missed
2020-06-16
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-16
Arnaud Charlet
[Ada] ACATS 4.1K - B452001 - No errors detected
2020-06-16
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-15
Arnaud Charlet
[Ada] Improve error message on premature usage of subtypes
2020-06-15
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-15
Arnaud Charlet
[Ada] Allow uninitialized values on Big_Positive/Natural
2020-06-15
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-15
Arnaud Charlet
[Ada] Missing errors on aspect checking
2020-06-15
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-15
Arnaud Charlet
[Ada] AI12-0260 Functions Is_Basic and To_Basic in...
2020-06-15
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-12
Arnaud Charlet
[Ada] AI12-0074 View conversions and out parameters...
2020-06-12
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-12
Arnaud Charlet
[Ada] Fix handling of Ada 83 OUT parameter rule
2020-06-12
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-12
Arnaud Charlet
[Ada] AI12-0350 Swap for Indefinite_Holders
2020-06-12
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-12
Arnaud Charlet
[Ada] Fix handling of subprograms declared in a protected...
2020-06-12
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-12
Arnaud Charlet
[Ada] ACATS 4.2Q - BDD2007
2020-06-12
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-12
Arnaud Charlet
[Ada] ACATS 4.1Q - CDD2A04 - RLS not followed
2020-06-12
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-11
Arnaud Charlet
[Ada] AI12-0356 Root_Storage_Pool_With_Subpools & Preelabora...
2020-06-11
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-11
Arnaud Charlet
[Ada] Remove aspects that were commented out
2020-06-11
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-11
Arnaud Charlet
[Ada] Add fallback on Integer_Arithmetic
2020-06-11
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Arnaud Charlet
[Ada] AI12-0364 Add a modular atomic arithmetic package
2020-06-10
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Arnaud Charlet
[Ada] AI12-0311 New checks for language-defined units
2020-06-10
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Arnaud Charlet
[Ada] Ada 202x AI12-0192 "requires late initialization"
2020-06-10
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Arnaud Charlet
[Ada] Update headers
2020-06-10
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Arnaud Charlet
[Ada] Remove more references to ASIS
2020-06-10
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Arnaud Charlet
[Ada] Fix typo in exception message
2020-06-10
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Arnaud Charlet
[Ada] Remove Determine_License
2020-06-10
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Arnaud Charlet
[Ada] Code clean ups and comments updates
2020-06-09
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Arnaud Charlet
[Ada] Improve handling of null unbounded strings
2020-06-09
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Arnaud Charlet
[Ada] Remove kludge for AI05-0087
2020-06-09
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Arnaud Charlet
[Ada] Improve handling of aggregates in Side_Effect_Free
2020-06-09
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Arnaud Charlet
[Ada] Expand more others aggregates statically
2020-06-09
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Arnaud Charlet
[Ada] Code refactoring on calls to Set_Debug_Info_Needed
2020-06-09
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Arnaud Charlet
[Ada] Membership test against a non-excluding subtype
2020-06-09
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Arnaud Charlet
[Ada] Add missing tag with -gnatw.d
2020-06-09
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Arnaud Charlet
[Ada] Refine implementation of AI05-0149 missing conversion...
2020-06-09
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Arnaud Charlet
[Ada] AI1-0201 Relational operators of static string...
2020-06-09
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Arnaud Charlet
[Ada] Ada2020: AI12-0301 Predicates and Default_Value
2020-06-09
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] AI12-0204 Renaming of a prefixed view
2020-06-08
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] AI12-0085 Missing aspect cases for Remote_Types
2020-06-08
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] AI12-0228 Properties of qualified expressions...
2020-06-08
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] Fix handling of 'Enum_Rep and renamings
2020-06-08
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] Remove processing of SPARK_05 restriction
2020-06-08
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] AI12-0287 Legality Rules for null exclusions...
2020-06-08
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] Ada.Text_IO: fix typo
2020-06-08
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] Update doc on Enum_Rep/Enum_Val
2020-06-08
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] AI12-0226 Make objects more consistent
2020-06-08
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] AI12-0309 Missing checks for pragma Suppress
2020-06-08
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Arnaud Charlet
[Ada] Replace ? by ?? in Error_Msg_N
2020-06-05
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Arnaud Charlet
[Ada] Update comments wrt Ada 83 handling
2020-06-05
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Arnaud Charlet
[Ada] Support 'Reduce under -gnatX
2020-06-05
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Arnaud Charlet
[Ada] Spurious assert failure in Walk_Library_Items
2020-06-05
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Arnaud Charlet
[Ada] AI12-0207 Convention of anonymous access types
2020-06-05
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Arnaud Charlet
[Ada] AI12-0336 Meaning of Time_Offset
2020-06-05
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Arnaud Charlet
[Ada] AI12-0144 Make Discrete_Random more flexible
2020-06-05
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Arnaud Charlet
[Ada] AI12-0237 Getting the representation of an enumeration...
2020-06-05
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Arnaud Charlet
[Ada] AI12-0318 No_IO should apply to Ada.Directories
2020-06-05
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Arnaud Charlet
[Ada] AI12-0235 System.Storage_Pools should be pure
2020-06-05
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-05
Arnaud Charlet
[Ada] Minor wording changes wrt Ada 202x
2020-06-05
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Arnaud Charlet
[Ada] AI12-0184: Long Long C Data types
2020-06-04
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Arnaud Charlet
[Ada] New package Ada.Task_Initialization
2020-06-04
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Arnaud Charlet
[Ada] Get rid of Disable_FE_Inline_Always
2020-06-04
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Arnaud Charlet
[Ada] Remove OpenACC support
2020-06-04
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Arnaud Charlet
[Ada] Avoid redefining IS_DIR_SEPARATOR macro
2020-06-04
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Arnaud Charlet
[Ada] Wrong walk order in Walk_Library_Items
2020-06-04
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Arnaud Charlet
[Ada] Import Adafinal as convention Ada
2020-06-04
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Arnaud Charlet
[Ada] New procedure Register_Global_Unhandled_Action
2020-06-04
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Arnaud Charlet
[Ada] Update URL and bug report instructions
2020-06-04
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Arnaud Charlet
[Ada] Remove System.Parameters.Single_Lock
2020-06-04
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Arnaud Charlet
[Ada] Continuation of "Get rid of more references to...
2020-06-04
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-03
Arnaud Charlet
[Ada] Add detection of uninitialized big reals
2020-06-03
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-03
Arnaud Charlet
[Ada] Remove more cases of empty loops
2020-06-03
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-03
Arnaud Charlet
[Ada] Update headers
2020-06-03
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-03
Arnaud Charlet
[Ada] Initial infrastructure for adding a tree checker
2020-06-03
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-03
Arnaud Charlet
[Ada] Add Address_Int declaration in s-auxdec.ads
2020-06-03
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-03
Arnaud Charlet
[Ada] Remove ASIS tree generation
2020-06-03
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-03
Arnaud Charlet
[Ada] Remove -gnatt switch processing
2020-06-03
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Arnaud Charlet
[Ada] Remove ASIS_Mode
2020-06-02
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Arnaud Charlet
[Ada] Bump copyright year
2020-06-02
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Arnaud Charlet
[Ada] Address potentially uninitialized variables and...
2020-06-02
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-06-02
Arnaud Charlet
[Ada] Treat attribute Img equivalent to attribute Image
2020-06-02
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2020-05-30
Arnaud Charlet
Ability to build the GNAT runtime with project files
commit
|
commitdiff
|
tree
2019-12-18
Arnaud Charlet
[Ada] Fix uninitialized out parameter in s-regpat.adb
2019-12-18
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2019-12-18
Arnaud Charlet
[Ada] Atomic aspect on formal generic params now supported...
2019-12-18
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2019-12-18
Arnaud Charlet
[Ada] Simplify Big_Integer and Big_Real interface
2019-12-18
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2019-12-16
Arnaud Charlet
[Ada] Fix warning on _REENTRANT
2019-12-16
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2019-12-16
Arnaud Charlet
[Ada] Mark Deallocator as Favor_Top_Level
2019-12-16
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2019-12-16
Arnaud Charlet
[Ada] AI12-0234/321 atomic operations
2019-12-16
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2019-12-16
Arnaud Charlet
[Ada] AI12-0208 Support for Ada.Numerics.Big_Numbers...
2019-12-16
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
2019-12-13
Arnaud Charlet
[Ada] Unnesting and annex E
2019-12-13
Arnaud Charlet
<charlet@adacore.com>
commit
|
commitdiff
|
tree
next