analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582]
[platform/upstream/gcc.git] / gcc / ada /
2022-11-15 GCC AdministratorDaily bump.
2022-11-14 Boris Yakobowskiada: Silence CodePeer false positive
2022-11-14 Bob Duffada: Remove incorrect comments about initialization
2022-11-14 Javier Mirandaada: Flag unsupported dispatching constructor calls
2022-11-14 Alexandre Olivaada: hardcfr docs: add optional checkpoints
2022-11-14 Gary Dismukesada: Crash on applying 'Pos to expression of a type...
2022-11-14 Ronan Desplanquesada: Fix non-capturing parentheses handling
2022-11-14 Yannick Moyada: Fix error on SPARK_Mode on library-level separate...
2022-11-14 Piotr Trojanekada: Adjust locations in aspects on generic formal...
2022-11-14 Piotr Trojanekada: Fix style in code for generic formal subprograms...
2022-11-14 Piotr Trojanekada: Expand generic formal subprograms with contracts...
2022-11-14 Patrick Bernardiada: Enable Support_Atomic_Primitives on QNX and RTEMS
2022-11-14 Yannick Moyada: Improve location of error messages in instantiations
2022-11-14 Arnaud Charletada: Remove gnatcheck reference
2022-11-14 Martin LiskaRevert "sphinx: ada: port to Sphinx"
2022-11-14 Martin LiskaRevert "sphinx: add --with-sphinx-build"
2022-11-14 Martin LiskaRevert "sphinx: fix cross manual references"
2022-11-14 Martin LiskaRevert "sphinx: support installation if sphinx-build...
2022-11-10 GCC AdministratorDaily bump.
2022-11-09 Martin Liskasphinx: support installation if sphinx-build is missing
2022-11-09 Martin Liskasphinx: fix cross manual references
2022-11-09 Martin Liskasphinx: add --with-sphinx-build
2022-11-09 Martin Liskasphinx: ada: port to Sphinx
2022-11-09 GCC AdministratorDaily bump.
2022-11-08 Eric Botcazouada: Fix oversight in implementation of allocators...
2022-11-08 Steve Bairdada: Compile-time simplification of 'Image incorrectly...
2022-11-08 Piotr Trojanekada: Clean up call to check if aspects are present
2022-11-08 Ronan Desplanquesada: Adjust classwide contract expression preanalysis
2022-11-08 Johannes Kliemannada: Set Support_Atomic_Primitives for VxWorks 7 runtimes
2022-11-08 Eric Botcazouada: Small consistency fix
2022-11-08 Piotr Trojanekada: Propagate aspect Ghost when instantiating null...
2022-11-08 Eric Botcazouada: Implement RM 4.5.7(10/3) name resolution rule
2022-11-08 Javier Mirandaada: Enforce matching of extra formals
2022-11-08 Bob Duffada: Move warnings switches -- initial work
2022-11-08 Ronan Desplanquesada: Align -gnatwc's documentation with its behavior
2022-11-08 Steve Bairdada: Improve handling of declare expressions in deferre...
2022-11-08 Eric Botcazouada: Minor consistency tweaks in Sem_Ch4
2022-11-08 Eric Botcazouada: Remove redundant line in Analyze_Qualified_Expression
2022-11-08 Ronan Desplanquesada: Preanalyze classwide contracts as spec expressions
2022-11-08 Piotr Trojanekada: Fix expansion of 'Wide_Image and 'Wide_Wide_Image...
2022-11-08 Piotr Trojanekada: Fix inconsistent whitespace in Ada.Numerics.Generi...
2022-11-08 Piotr Trojanekada: Remove unneeded code in handling formal type defaults
2022-11-08 Piotr Trojanekada: Cleanup local variable that is only set as an...
2022-11-08 Eric Botcazouada: Remove obsolete code in Resolve_If_Expression
2022-11-08 Piotr Trojanekada: Reject limited objects in array and record delta...
2022-11-08 Piotr Trojanekada: Allow initialization of limited objects with delta...
2022-11-08 Piotr Trojanekada: Reject record delta aggregates with limited expres...
2022-11-08 Javier Mirandaada: Missing master of task causing assertion failure
2022-11-08 Piotr Trojanekada: Raise Tag_Error when Ada.Tags operations are calle...
2022-11-08 Bob Duffada: Add new -gnatw_q switch to usage message
2022-11-08 GCC AdministratorDaily bump.
2022-11-07 Cedric Landetada: Document that gprof won't work on windows with...
2022-11-07 Piotr Trojanekada: Tune hash function for cross-reference entries
2022-11-07 Piotr Trojanekada: Fix performance regression related to references...
2022-11-07 Bob Duffada: Use named notation in calls to Expand_Composite_Eq...
2022-11-07 Bob Duffada: New warning about noncomposing user-defined "="
2022-11-07 Piotr Trojanekada: Inline composite node kind AST queries
2022-11-07 Bob Duffada: Fix inherited postconditions in inlined subprograms
2022-11-07 Quentin Ochemada: Fixed elaboration of CUDA programs.
2022-11-07 Steve Bairdada: Rework CUDA host-side invocation of device-side...
2022-11-07 Piotr Trojanekada: Fix detection of external calls to protected objec...
2022-11-07 Piotr Trojanekada: Clean up unnecessary nesting in code for DLL libraries
2022-11-07 Bob Duffada: Suppress warnings on derived True/False
2022-11-07 Piotr Trojanekada: Deconstruct Safe_To_Capture_In_Parameter_Value
2022-11-07 Piotr Trojanekada: Flip warning suppression routine to positive meaning
2022-11-07 Piotr Trojanekada: Cleanup detection of code within generic instances
2022-11-07 Piotr Trojanekada: Remove redundant suppression for non-modified...
2022-11-07 Piotr Trojanekada: Reject boxes in delta array aggregates
2022-11-07 Piotr Trojanekada: Allow reuse of Enclosing_Declaration_Or_Statement...
2022-11-07 Piotr Trojanekada: Clean up unnecesary call in resolution of overload...
2022-11-07 Piotr Trojanekada: Clean up code for visibility of generic actuals
2022-11-07 Piotr Trojanekada: Cleanup comment about mapping parameters when...
2022-11-07 Steve Bairdada: Put_Image aspect spec incorrectly not inherited
2022-11-07 Piotr Trojanekada: Tune layout after switching to Ada 2022 aggregate...
2022-11-07 Piotr Trojanekada: Cleanup WITH clauses after switching from obsolesc...
2022-11-07 Piotr Trojanekada: Create operator nodes in functional style
2022-11-07 Piotr Trojanekada: Don't reuse operator nodes in expansion
2022-11-07 Piotr Trojanekada: Simplify detection of pragmas in the context items
2022-11-07 Piotr Trojanekada: Reject misplaced pragma Obsolescent
2022-11-07 Piotr Trojanekada: Fix missing tag for with of an obsolescent function
2022-11-07 Piotr Trojanekada: Remove useless validity suppression for attribute...
2022-11-06 GCC AdministratorDaily bump.
2022-11-04 Justin Squirekada: Fix for validity checks combined with aliasing...
2022-11-04 Eric Botcazouada: Fix couple of issues with arrays indexed by enumer...
2022-11-04 Piotr Trojanekada: Fix typo in comment referring to pragma Restrictions
2022-11-04 Piotr Trojanekada: Cleanup code for warnings about unreferenced forma...
2022-11-04 Piotr Trojanekada: Cleanup code for unreferenced variables
2022-11-04 Piotr Trojanekada: Cleanup code for warnings about unset references
2022-11-04 Steve Bairdada: Static intrinsic functions are a core language...
2022-11-04 Piotr Trojanekada: Remove redundant calls in handling of aspect speci...
2022-11-04 Javier Mirandaada: Flag unsupported dispatching constructor calls
2022-11-04 Piotr Trojanekada: Avoid repeated iteration over private protected...
2022-11-04 Piotr Trojanekada: Cleanup clearing flags on package variables
2022-11-04 Piotr Trojanekada: Fix various typos in GNAT User's Guide
2022-11-04 Marc Poulhièsada: Fix loop unnesting issue.
2022-11-04 Piotr Trojanekada: Fix repeated killing of private entity values
2022-11-04 Piotr Trojanekada: Simplify detection of controlling formals
2022-11-04 Javier Mirandaada: Skip dynamic interface conversion under configurab...
2022-11-04 Javier Mirandaada: Skip dynamic interface conversion under configurab...
2022-11-04 Ronan Desplanquesada: Fix typo
next