GCC Middle and Back End API Reference
return_statements_t Struct Reference
Collaboration diagram for return_statements_t:
Collaboration graph
[legend]

Data Fields

tree label
greturn * stmt

Detailed Description

GIMPLE lowering pass.  Converts High GIMPLE into Low GIMPLE.

   Copyright (C) 2003-2025 Free Software Foundation, Inc.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 3, or (at your option) any later
version.

GCC is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.   
The differences between High GIMPLE and Low GIMPLE are the
following:

1- Lexical scopes are removed (i.e., GIMPLE_BIND disappears).

2- GIMPLE_TRY and GIMPLE_CATCH are converted to abnormal control
   flow and exception regions are built as an on-the-side region
   hierarchy (See tree-eh.cc:lower_eh_constructs).

3- Multiple identical return statements are grouped into a single
   return and gotos to the unique return site.   
Match a return statement with a label.  During lowering, we identify
identical return statements and replace duplicates with a jump to
the corresponding label.

Field Documentation

◆ label

tree return_statements_t::label

Referenced by lower_function_body(), and lower_gimple_return().

◆ stmt

greturn* return_statements_t::stmt

Referenced by lower_function_body(), and lower_gimple_return().

The documentation for this struct was generated from the following file: