diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2025-11-05 20:14:33 +0100 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-11-21 09:29:37 +0100 |
| commit | 57d3933a8705bcea91d8a7189d7d5d5edce14524 (patch) | |
| tree | 7bb8d161ffb3f9520ba959d29fd1f86c1a3dae6d /gcc/ada/exp_aggr.adb | |
| parent | c9aeb782c7899c616ed122a68119b12c04e3c82c (diff) | |
ada: Sort cross-reference table using heap and not stack
Cross-references are used by GNATprove for code that is not in SPARK. They are
sorted using an auxiliary array. This array should be allocated on the heap and
not on stack, because it can be arbitrarily large, especially for
auto-generated code.
gcc/ada/ChangeLog:
* lib-xref.adb (Output_References): Put local array object on the heap.
Diffstat (limited to 'gcc/ada/exp_aggr.adb')
0 files changed, 0 insertions, 0 deletions