diff options
| author | Yannick Moy <moy@adacore.com> | 2024-07-24 17:36:20 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-08-06 10:54:32 +0200 |
| commit | cfa788bc679bb552640493c4486dde5bd84d1400 (patch) | |
| tree | 719d71840d107fcdfbf3869baa0e73e157485965 /gcc/tree-vect-loop.cc | |
| parent | 891427f2549e38ce393efa92c760c4dd9e50f59f (diff) | |
| download | gcc-cfa788bc679bb552640493c4486dde5bd84d1400.zip gcc-cfa788bc679bb552640493c4486dde5bd84d1400.tar.gz gcc-cfa788bc679bb552640493c4486dde5bd84d1400.tar.bz2 | |
ada: Fix error in GNATprove inlining with array concatenation
Wrong interpretation of the type of the concatenation can lead to a
spurious error in GNATprove when inlining code. Now fixed.
gcc/ada/
* sem_ch4.adb (Analyze_Concatenation_Rest): Do not add a wrong
interpretation of the concatenation, using the type of the operand
already recognized as of the element type.
Diffstat (limited to 'gcc/tree-vect-loop.cc')
0 files changed, 0 insertions, 0 deletions