projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
analyzer: eliminate non-determinism in logs
2020-10-27
Arnaud Charlet
[Ada] Warnings on g-spogwa.adb
commit
|
commitdiff
|
tree
2020-10-27
Arnaud Charlet
[Ada] New flag Transform_Function_Array
commit
|
commitdiff
|
tree
2020-10-26
Arnaud Charlet
[Ada] Suppress warnings on unreferenced parameters...
commit
|
commitdiff
|
tree
2020-10-26
Arnaud Charlet
[Ada] Improve error on missing with clause
commit
|
commitdiff
|
tree
2020-10-26
Arnaud Charlet
[Ada] AI12-0395: Allow aspect_specifications on formal...
commit
|
commitdiff
|
tree
2020-10-23
Arnaud Charlet
[Ada] Clean up in writing of ALI files
commit
|
commitdiff
|
tree
2020-10-23
Arnaud Charlet
[Ada] Fix logic in C_Select under mingw
commit
|
commitdiff
|
tree
2020-10-23
Arnaud Charlet
[Ada] Improve documentation of pragma Abort_Defer
commit
|
commitdiff
|
tree
2020-10-23
Arnaud Charlet
[Ada] Error when closing c_stream
commit
|
commitdiff
|
tree
2020-10-23
Arnaud Charlet
[Ada] Missing detection of unused with_clause
commit
|
commitdiff
|
tree
2020-10-23
Arnaud Charlet
[Ada] Update header of front-end files
commit
|
commitdiff
|
tree
2020-10-23
Arnaud Charlet
[Ada] Take advantage of Long_Long_Long_Integer in From_String
commit
|
commitdiff
|
tree
2020-10-22
Arnaud Charlet
[Ada] Add more annotations and assertions in the runtime
commit
|
commitdiff
|
tree
2020-10-22
Arnaud Charlet
[Ada] Update annotations for codepeer analysis on GNAT...
commit
|
commitdiff
|
tree
2020-10-20
Arnaud Charlet
[Ada] Add support for Unreferenced aspect on formal...
commit
|
commitdiff
|
tree
2020-10-20
Arnaud Charlet
[Ada] New warning on not fully initialized box aggregate
commit
|
commitdiff
|
tree
2020-10-20
Arnaud Charlet
[Ada] Crash on precondition, discriminant and protected...
commit
|
commitdiff
|
tree
2020-10-20
Arnaud Charlet
[Ada] Issue with gnatbind -V switch and Ada 2012
commit
|
commitdiff
|
tree
2020-10-20
Arnaud Charlet
[Ada] Spurious discriminant check on "for of" loop
commit
|
commitdiff
|
tree
2020-10-20
Arnaud Charlet
[Ada] Remove extra validity check in case statement
commit
|
commitdiff
|
tree
2020-10-20
Arnaud Charlet
[Ada] Code clean up
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Charlet
[Ada] Missing check on array concatenation
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Charlet
[Ada] AI12-0352: Early derivation and equality of untagged...
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Charlet
[Ada] Wrong freezing for expression function with contracts...
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Charlet
[Ada] ACATS 4.1R - Exception missed
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Charlet
[Ada] No range check on fixed point to integer conversion
commit
|
commitdiff
|
tree
2020-10-19
Arnaud Charlet
[Ada] Clean up support of square brackets
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charlet
[Ada] Preelaborate rules not fully enforced
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charlet
[Ada] Ada2020: AI12-0129 Make protected objects more...
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charlet
[Ada] Clean up in system.ads dependencies during compiler...
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charlet
[Ada] Convert from UTF_16 to UTF_8 fails for large...
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charlet
[Ada] Finalization of uninitialized object with build...
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charlet
[Ada] Relax too strong assertions
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charlet
[Ada] Reduce use of primary stack on string concatenation
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charlet
[Ada] Remove support for -gnatP and pragma Polling
commit
|
commitdiff
|
tree
2020-10-16
Arnaud Charlet
[Ada] Crash when specifying an abstract subprogram...
commit
|
commitdiff
|
tree
2020-10-15
Arnaud Charlet
[Ada] Spurious visibility on private with package
commit
|
commitdiff
|
tree
2020-10-15
Arnaud Charlet
[Ada] Wrong use of Scope_Depth_Value
commit
|
commitdiff
|
tree
2020-10-15
Arnaud Charlet
[Ada] Code cleanup
commit
|
commitdiff
|
tree
2020-10-15
Arnaud Charlet
[Ada] Assert failure on incorrect code
commit
|
commitdiff
|
tree
2020-10-15
Arnaud Charlet
[Ada] Double evaluation of predicate
commit
|
commitdiff
|
tree
2020-10-15
Arnaud Charlet
[Ada] Add support for compile time evaluation of Shift_Right...
commit
|
commitdiff
|
tree
2020-10-15
Arnaud Charlet
[Ada] Warn on unknown aspect
commit
|
commitdiff
|
tree
2020-10-15
Arnaud Charlet
[Ada] Complete support for static intrinsic functions
commit
|
commitdiff
|
tree
2020-10-15
Arnaud Charlet
[Ada] Add iterators over GNAT.Array_Split.Slice_Set
commit
|
commitdiff
|
tree
2020-10-15
Arnaud Charlet
[Ada] AI12-0385 Predefined shifts and rotates should...
commit
|
commitdiff
|
tree
2020-09-03
Arnaud Charlet
Preliminary work on support for 128bits integers
commit
|
commitdiff
|
tree
2020-09-03
Arnaud Charlet
Look at fullest view when checking for static types...
commit
|
commitdiff
|
tree
2020-07-27
Arnaud Charlet
[Ada] Assert failure on incorrect code
commit
|
commitdiff
|
tree
2020-07-27
Arnaud Charlet
[Ada] Switch Ada_Version_Runtime to Ada 2020
commit
|
commitdiff
|
tree
2020-07-27
Arnaud Charlet
[Ada] AI12-0383 Renaming values
commit
|
commitdiff
|
tree
2020-07-27
Arnaud Charlet
[Ada] AI12-0377 View conversions and out parameters...
commit
|
commitdiff
|
tree
2020-07-27
Arnaud Charlet
[Ada] Remove disabled code
commit
|
commitdiff
|
tree
2020-07-27
Arnaud Charlet
[Ada] Use membership tests in front-end
commit
|
commitdiff
|
tree
2020-07-23
Arnaud Charlet
[Ada] Stub CUDA_Execute and CUDA_Global pragmas
commit
|
commitdiff
|
tree
2020-07-23
Arnaud Charlet
[Ada] Ada2020: AI12-0027 Access values and unaliased...
commit
|
commitdiff
|
tree
2020-07-23
Arnaud Charlet
[Ada] Add push/pop capability in Output
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] AI12-0132 Freezing of renames_as_body
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] Wrong execution of Tan on large argument
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] AI12-0004 Normalization and allowed characters
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] AI12-0373 Additional check on Integer_Literal...
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] Disable Initialize_Scalars on runtime files
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] Spurious redundant use clause warning
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] Overflow in string streaming
commit
|
commitdiff
|
tree
2020-07-16
Arnaud Charlet
[Ada] Add centralized capacity check in Generic_Bignums
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Ongoing work for AI12-0212: container aggregates
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Fix logic in Allocate_Any_Controlled
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Spurious error on Predicate_Failure aspect
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Mention -gnat2020 in error message
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Remove doc on obsolete tools
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Assert failure with -gnatwr
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Missing error on operator call
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] ACATS 4.1P [BDB4001] - 13.11.4(22-23/3) not enforced
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Documentation cleanups
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Extend static functions
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Potential access to uninitialized variable
commit
|
commitdiff
|
tree
2020-07-15
Arnaud Charlet
[Ada] Fix potentially uninitialized variable flagged...
commit
|
commitdiff
|
tree
2020-07-10
Arnaud Charlet
[Ada] Preserve casing of output files
commit
|
commitdiff
|
tree
2020-07-10
Arnaud Charlet
[Ada] Use small limit for aggregates inside subprograms
commit
|
commitdiff
|
tree
2020-07-10
Arnaud Charlet
[Ada] Make System.Generic_Bignums more flexible
commit
|
commitdiff
|
tree
2020-07-10
Arnaud Charlet
[Ada] Crash in Walk_Library_Items on ghost units
commit
|
commitdiff
|
tree
2020-07-08
Arnaud Charlet
[Ada] Clean up in Interfaces.C.Extensions
commit
|
commitdiff
|
tree
2020-07-08
Arnaud Charlet
[Ada] ACATS 4.1R - BD10001 - Error missed
commit
|
commitdiff
|
tree
2020-07-07
Arnaud Charlet
[Ada] Assert failure on invalid Variable_Indexing
commit
|
commitdiff
|
tree
2020-07-07
Arnaud Charlet
[Ada] ACATS 4.1J - B854003 - Subtype conformance check...
commit
|
commitdiff
|
tree
2020-07-07
Arnaud Charlet
[Ada] ACATS 4.1K - C452003
commit
|
commitdiff
|
tree
2020-07-07
Arnaud Charlet
[Ada] ACATS 4.1H - BC60005 - null exclusion matching...
commit
|
commitdiff
|
tree
2020-07-07
Arnaud Charlet
[Ada] Add support for XDR streaming in the default...
commit
|
commitdiff
|
tree
2020-07-07
Arnaud Charlet
[Ada] Spurious elaboration warnings with -gnatc and...
commit
|
commitdiff
|
tree
2020-07-06
Arnaud Charlet
[Ada] AI12-0366 Changes to Big_Integer and Big_Real
commit
|
commitdiff
|
tree
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
next