]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/ada/exp_ch5.ads
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / exp_ch5.ads
CommitLineData
70482933
RK
1------------------------------------------------------------------------------
2-- --
3-- GNAT COMPILER COMPONENTS --
4-- --
5-- E X P _ C H 5 --
6-- --
7-- S p e c --
8-- --
8d0d46f4 9-- Copyright (C) 1992-2021, Free Software Foundation, Inc. --
70482933
RK
10-- --
11-- GNAT is free software; you can redistribute it and/or modify it under --
12-- terms of the GNU General Public License as published by the Free Soft- --
b5c84c3c 13-- ware Foundation; either version 3, or (at your option) any later ver- --
70482933
RK
14-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17-- for more details. You should have received a copy of the GNU General --
b5c84c3c
RD
18-- Public License distributed with GNAT; see file COPYING3. If not, go to --
19-- http://www.gnu.org/licenses for a complete copy of the license. --
70482933
RK
20-- --
21-- GNAT was originally developed by the GNAT team at New York University. --
71ff80dc 22-- Extensive contributions were provided by Ada Core Technologies Inc. --
70482933
RK
23-- --
24------------------------------------------------------------------------------
25
26-- Expand routines for chapter 5 constructs
27
28with Types; use Types;
29
30package Exp_Ch5 is
9e5ac75f
BD
31 procedure Expand_N_Assignment_Statement (N : Node_Id);
32 procedure Expand_N_Block_Statement (N : Node_Id);
33 procedure Expand_N_Case_Statement (N : Node_Id);
34 procedure Expand_N_Exit_Statement (N : Node_Id);
eba1160f 35 procedure Expand_N_Goto_When_Statement (N : Node_Id);
9e5ac75f
BD
36 procedure Expand_N_If_Statement (N : Node_Id);
37 procedure Expand_N_Loop_Statement (N : Node_Id);
fc90cc62
AC
38
39 procedure Expand_Iterator_Loop_Over_Array (N : Node_Id);
40 -- Expand loop over arrays that uses the form "for X of C"
41
70482933 42end Exp_Ch5;