index
:
riscv-gnu-toolchain/gcc.git
devel/analyzer
devel/autopar_devel
devel/autopar_europar_2021
devel/bypass-asm
devel/c++-contracts
devel/c++-coroutines
devel/c++-modules
devel/c++-name-lookup
devel/coarray_native
devel/fortran_unsigned
devel/gccgo
devel/gfortran-caf
devel/gimple-linterchange
devel/gomp-5_0-branch
devel/icpp2021
devel/ira-select
devel/ix86/evex512
devel/jlaw/crc
devel/loop-unswitch-support-switches
devel/lto-offload
devel/m2link
devel/modula-2
devel/mold-lto-plugin
devel/mold-lto-plugin-v2
devel/omp/gcc-10
devel/omp/gcc-11
devel/omp/gcc-12
devel/omp/gcc-13
devel/omp/gcc-14
devel/omp/gcc-9
devel/omp/ompd
devel/power-ieee128
devel/range-gen3
devel/ranger
devel/rust/master
devel/sphinx
devel/ssa-range
devel/subreg-coalesce
devel/unified-autovect
master
releases/egcs-1.0
releases/egcs-1.1
releases/gcc-10
releases/gcc-11
releases/gcc-12
releases/gcc-13
releases/gcc-14
releases/gcc-2.95
releases/gcc-2.95.2.1-branch
releases/gcc-3.0
releases/gcc-3.1
releases/gcc-3.2
releases/gcc-3.3
releases/gcc-3.4
releases/gcc-4.0
releases/gcc-4.1
releases/gcc-4.2
releases/gcc-4.3
releases/gcc-4.4
releases/gcc-4.5
releases/gcc-4.6
releases/gcc-4.7
releases/gcc-4.8
releases/gcc-4.9
releases/gcc-5
releases/gcc-6
releases/gcc-7
releases/gcc-8
releases/gcc-9
releases/libgcj-2.95
trunk
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gcc
/
ada
/
inline.adb
Age
Commit message (
Expand
)
Author
Files
Lines
2024-08-01
ada: Remove support for bodies in -gnatceg
Arnaud Charlet
1
-117
/
+0
2024-08-01
ada: Couple of cleanups in finalization machinery
Eric Botcazou
1
-1
/
+0
2024-06-20
ada: Fix inlining of fixed-lower-bound array for GNATprove
Yannick Moy
1
-2
/
+8
2024-06-13
ada: Simplify code in Cannot_Inline
Viljar Indus
1
-10
/
+10
2024-06-13
ada: Do not inline subprogram which could cause SPARK violation
Yannick Moy
1
-1
/
+82
2024-06-10
ada: Enable inlining for subprograms with multiple return statements
Piotr Trojanek
1
-83
/
+8
2024-05-21
ada: Simplify management of scopes while inlining
Piotr Trojanek
1
-15
/
+4
2024-05-07
ada: Remove redundant guard against empty list of declarations
Piotr Trojanek
1
-2
/
+1
2024-05-07
ada: Cleanup detection of per-object constraints in inlining for SPARK
Piotr Trojanek
1
-14
/
+14
2024-05-06
ada: Fix detection of (Un)Hide_Info pragma in GNATprove mode
Yannick Moy
1
-1
/
+4
2024-05-06
ada: Prevent inlining in GNATprove for memory leaks
Yannick Moy
1
-0
/
+58
2024-05-06
ada: Do not inline in GNATprove the subprograms with (Un)Hide_Info
Yannick Moy
1
-3
/
+86
2024-01-22
Update copyright years.
Marc Poulhiès
1
-1
/
+1
2024-01-09
ada: Remove dead detection of recursive inlined subprograms
Piotr Trojanek
1
-19
/
+0
2024-01-09
ada: Remove dead code for GNATprove inlining
Piotr Trojanek
1
-13
/
+2
2023-11-30
ada: Fix spelling of functions with(out) "side effects"
Yannick Moy
1
-1
/
+1
2023-11-21
ada: Another couple of cleanups in the finalization machinery
Eric Botcazou
1
-1
/
+1
2023-11-07
ada: Implement Aspects as fields under nodes
Viljar Indus
1
-9
/
+2
2023-09-15
ada: Fix wrong optimization of extended return for discriminated record type
Eric Botcazou
1
-0
/
+1
2023-08-01
ada: Disable inlining of subprograms with Skip(_Flow_And)_Proof in GNATprove
Yannick Moy
1
-0
/
+49
2023-06-13
ada: Implement new aspect Always_Terminates for SPARK
Piotr Trojanek
1
-1
/
+3
2023-05-26
ada: Fix missing finalization in library-level instance body
Eric Botcazou
1
-46
/
+108
2023-05-23
ada: Accept and analyze new aspect Exceptional_Cases
Piotr Trojanek
1
-0
/
+2
2023-05-23
ada: Fix latent issue in support for protected entries
Eric Botcazou
1
-10
/
+0
2023-05-22
ada: Small cleanup in support for protected subprograms
Eric Botcazou
1
-11
/
+0
2023-01-09
ada: Update copyright notice
Arnaud Charlet
1
-1
/
+1
2022-11-14
ada: Fix style in code for generic formal subprograms with contracts
Piotr Trojanek
1
-2
/
+2
2022-11-07
ada: Cleanup comment about mapping parameters when inlining
Piotr Trojanek
1
-8
/
+8
2022-09-12
[Ada] Tech debt: Expansion of contracts
Justin Squirek
1
-2
/
+2
2022-09-06
[Ada] Retain Has_Private_View flag for actuals of inlined subprograms
Piotr Trojanek
1
-0
/
+10
2022-09-06
[Ada] Fix comment about mapping of parameters and inlining static funcs
Piotr Trojanek
1
-2
/
+3
2022-09-06
[Ada] Place "at end" on body nodes
Bob Duff
1
-1
/
+2
2022-07-13
[Ada] Handle bodies-to-inline just like generic templates
Piotr Trojanek
1
-10
/
+2
2022-07-13
[Ada] Fix crash on frontend inlining of functions with single returns
Piotr Trojanek
1
-0
/
+1
2022-05-30
[Ada] Add insertion character to Ineffective_Inline_Warnings messages
Ghjuvan Lacambre
1
-2
/
+2
2022-05-17
[Ada] Allow inlining for proof inside generics
Yannick Moy
1
-7
/
+69
2022-05-16
[Ada] Update comment justifying non-inlining for proof inside generics
Yannick Moy
1
-2
/
+3
2022-05-16
[Ada] Fix internal error on mix of controlled and protected types
Eric Botcazou
1
-1
/
+1
2022-05-09
[Ada] Remove redundant guards for empty list
Piotr Trojanek
1
-9
/
+3
2022-01-11
[Ada] Reuse Make_Temporary where possible
Piotr Trojanek
1
-1
/
+1
2022-01-11
[Ada] Remove extra space in single object declarations
Piotr Trojanek
1
-3
/
+3
2022-01-11
[Ada] Update copyright notice and bump Gnatvsn.Current_Year
Arnaud Charlet
1
-1
/
+1
2021-12-01
[Ada] Fix issues with ignored ghost code and unnesting
Richard Kenner
1
-3
/
+8
2021-10-25
[Ada] Fix a comment
Bob Duff
1
-1
/
+1
2021-10-25
[Ada] Renamed_Or_Alias cleanup
Bob Duff
1
-2
/
+2
2021-09-20
[Ada] Remove redundant checks for non-empty list of aspects
Piotr Trojanek
1
-3
/
+1
2021-09-20
[Ada] Fix shadowing in conditions for inlining
Piotr Trojanek
1
-26
/
+29
2021-07-07
[Ada] Simplify iteration over pending instantiations
Piotr Trojanek
1
-7
/
+2
2021-07-07
[Ada] Transient scope cleanup
Bob Duff
1
-4
/
+1
2021-05-07
[Ada] Minor reformattings
Bob Duff
1
-35
/
+35
[next]