projects
/
platform
/
upstream
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
ada: Reject boxes in delta array aggregates
2022-11-07
Piotr Trojanek
ada: Reject boxes in delta array aggregates
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Allow reuse of Enclosing_Declaration_Or_Statement...
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Clean up unnecesary call in resolution of overloaded...
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Clean up code for visibility of generic actuals
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Cleanup comment about mapping parameters when...
commit
|
commitdiff
|
tree
2022-11-07
Steve Baird
ada: Put_Image aspect spec incorrectly not inherited
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Tune layout after switching to Ada 2022 aggregate...
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Cleanup WITH clauses after switching from obsolescent...
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Create operator nodes in functional style
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Don't reuse operator nodes in expansion
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Simplify detection of pragmas in the context items
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Reject misplaced pragma Obsolescent
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Fix missing tag for with of an obsolescent function
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Remove useless validity suppression for attribute...
commit
|
commitdiff
|
tree
2022-11-04
Justin Squirek
ada: Fix for validity checks combined with aliasing...
commit
|
commitdiff
|
tree
2022-11-04
Eric Botcazou
ada: Fix couple of issues with arrays indexed by enumeration...
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Fix typo in comment referring to pragma Restrictions
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Cleanup code for warnings about unreferenced formal...
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Cleanup code for unreferenced variables
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Cleanup code for warnings about unset references
commit
|
commitdiff
|
tree
2022-11-04
Steve Baird
ada: Static intrinsic functions are a core language...
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Remove redundant calls in handling of aspect specifications
commit
|
commitdiff
|
tree
2022-11-04
Javier Miranda
ada: Flag unsupported dispatching constructor calls
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Avoid repeated iteration over private protected...
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Cleanup clearing flags on package variables
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Fix various typos in GNAT User's Guide
commit
|
commitdiff
|
tree
2022-11-04
Marc Poulhiès
ada: Fix loop unnesting issue.
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Fix repeated killing of private entity values
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Simplify detection of controlling formals
commit
|
commitdiff
|
tree
2022-11-04
Javier Miranda
ada: Skip dynamic interface conversion under configurable...
commit
|
commitdiff
|
tree
2022-11-04
Javier Miranda
ada: Skip dynamic interface conversion under configurable...
commit
|
commitdiff
|
tree
2022-11-04
Ronan Desplanques
ada: Fix typo
commit
|
commitdiff
|
tree
2022-11-04
Ghjuvan Lacambre
ada: Remove sa_messages
commit
|
commitdiff
|
tree
2022-11-04
Ghjuvan Lacambre
ada: Refactor: replace uses of `not Present(X)` with...
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Fix various typos in node and entity description...
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Fix various typos in GNAT RM
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Improve efficiency of scope stack restoration
commit
|
commitdiff
|
tree
2022-11-04
Ronan Desplanques
ada: Small editorial changes to documentation comments
commit
|
commitdiff
|
tree
2022-11-04
Steve Baird
ada: Allow enabling a restricted set of language extensions.
commit
|
commitdiff
|
tree
2022-11-04
Steve Baird
ada: Generate missing object decls for adainit/adafinal...
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Support lock-free protected objects with pragma...
commit
|
commitdiff
|
tree
2022-11-04
Cedric Landet
ada: Remove VxWorks 6 and VxWorks 653 2.x content from...
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Reject expanded global names in lock-free protected...
commit
|
commitdiff
|
tree
2022-11-04
Steve Baird
ada: Generate host-side CUDA_Register_Function calls...
commit
|
commitdiff
|
tree
2022-10-06
Eric Botcazou
ada: Implementation of support for storage models in...
commit
|
commitdiff
|
tree
2022-10-06
Steve Baird
ada: Minor potential bug in sem_ch6.adb
commit
|
commitdiff
|
tree
2022-10-06
Piotr Trojanek
ada: Reject conditional goto in lock-free protected...
commit
|
commitdiff
|
tree
2022-10-06
Piotr Trojanek
ada: Cleanup related to lock-free protected subprograms
commit
|
commitdiff
|
tree
2022-10-06
Alexandre Oliva
ada: hardened conditionals: exemplify codegen changes
commit
|
commitdiff
|
tree
2022-10-06
Alexandre Oliva
ada: hardened booleans: exemplify codegen changes
commit
|
commitdiff
|
tree
2022-10-06
Alexandre Oliva
ada: stack scrubbing: exemplify codegen changes
commit
|
commitdiff
|
tree
2022-10-06
Piotr Trojanek
ada: Fix inserting of validity checks in lock-free...
commit
|
commitdiff
|
tree
2022-10-06
Marc Poulhiès
ada: Add C declarations for Storage Model support
commit
|
commitdiff
|
tree
2022-10-06
Steve Baird
ada: Incorrect inferences drawn from if/elsif/while...
commit
|
commitdiff
|
tree
2022-10-06
Gary Dismukes
ada: Accessibility error incorrectly flagged on call...
commit
|
commitdiff
|
tree
2022-10-06
Bob Duff
ada: Clean up slice-of-component optimization
commit
|
commitdiff
|
tree
2022-10-06
Yannick Moy
ada: Do not issue compiler warnings in GNATprove mode
commit
|
commitdiff
|
tree
2022-10-06
Bob Duff
ada: Disable slice-of-component optimization in some...
commit
|
commitdiff
|
tree
2022-10-06
Piotr Trojanek
ada: Fix spurious warning on unreferenced refinement...
commit
|
commitdiff
|
tree
2022-09-29
Ronan Desplanques
ada: Remove duplicated doc comment section
commit
|
commitdiff
|
tree
2022-09-29
Eric Botcazou
ada: Further tweak new expansion of contracts
commit
|
commitdiff
|
tree
2022-09-29
Bob Duff
ada: Improve efficiency of slice-of-component assignment
commit
|
commitdiff
|
tree
2022-09-29
Piotr Trojanek
ada: Fix checking of Refined_State with nested package...
commit
|
commitdiff
|
tree
2022-09-26
Ghjuvan Lacambre
ada: Doc: rename Valid_Image to Valid_Value
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Fix location of pragmas coming from aspects in...
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Remove unreferenced Rtsfind entries
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Remove unreferenced C macro from OS constants...
commit
|
commitdiff
|
tree
2022-09-26
Eric Botcazou
ada: Document Long_Long_Long_Size parameter for -gnateT
commit
|
commitdiff
|
tree
2022-09-26
Steve Baird
ada: Improve CUDA host-side and device-side binder...
commit
|
commitdiff
|
tree
2022-09-26
Kévin Le Gouguec
ada: Document support for the mold linker
commit
|
commitdiff
|
tree
2022-09-26
Tucker Taft
ada: Make Original_Aspect_Pragma_Name more precise
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Delay expansion of iterator specification in preanalysis
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Delay expansion of iterated component association
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Only reject volatile ghost objects when SPARK_Mode...
commit
|
commitdiff
|
tree
2022-09-26
Justin Squirek
ada: Improve accessibility check generation
commit
|
commitdiff
|
tree
2022-09-26
Boris Yakobowski
ada: Remove GNATmetric's documentation from GNAT's...
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Remove socket definitions for ancient MinGW
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Remove definition of MAXPATHLEN for ancient MinGW
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Deconstruct build support for ancient MinGW
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Tune comment of routine for detecting junk names
commit
|
commitdiff
|
tree
2022-09-12
Eric Botcazou
[Ada] Fix immediate assertion failure with -gnatd.1
commit
|
commitdiff
|
tree
2022-09-12
Justin Squirek
[Ada] Storage_Error raised analyzing type with call...
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada] Improve CUDA host-side and device-side binder...
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojanek
[Ada] Sync documentation of junk names with code
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojanek
[Ada] Reject 'Valid_Scalars on Unchecked_Union regardless...
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada] Improve CUDA host-side and device-side binder...
commit
|
commitdiff
|
tree
2022-09-12
Eric Botcazou
[Ada] Temporary tweak new expansion of contracts
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojanek
[Ada] Special-case printing of SPARK_Mode in error...
commit
|
commitdiff
|
tree
2022-09-12
Yannick Moy
[Ada] Justify false alarm from CodePeer analysis of...
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojanek
[Ada] Cleanup routine for handling SPARK_Mode kinds
commit
|
commitdiff
|
tree
2022-09-12
Yannick Moy
[Ada] Accept explicit SPARK_Mode Auto as configuration...
commit
|
commitdiff
|
tree
2022-09-12
Joffrey Huguet
[Ada] Remove SPARK containers from GNAT documentation
commit
|
commitdiff
|
tree
2022-09-12
Yannick Moy
[Ada] Reject use in SPARK of Asm intrinsics for code...
commit
|
commitdiff
|
tree
2022-09-12
Eric Botcazou
[Ada] Add C declaration for Opt.Unnest_Subprogram_Mode
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada] Internal error compiling formal instance of generic...
commit
|
commitdiff
|
tree
2022-09-12
Joffrey Huguet
[Ada] Replace SPARK containers implementation by Compile_Tim...
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojanek
[Ada] Fix validity checking on renamed Old attribute...
commit
|
commitdiff
|
tree
2022-09-12
Justin Squirek
[Ada] Tech debt: Expansion of contracts
commit
|
commitdiff
|
tree
2022-09-12
Eric Botcazou
[Ada] Fix oversight in implementation of unnesting
commit
|
commitdiff
|
tree
2022-09-12
Steve Baird
[Ada] Syntax error in Ada 2022 array aggregate causes...
commit
|
commitdiff
|
tree
next