From 82ba818ff456bcd6d56a06226e3f27e98fbb55c3 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Thu, 14 Aug 2025 22:58:58 -0500 Subject: removing all downloaded devdocs files --- devdocs/gcc~13/local-labels.html | 37 ------------------------------------- 1 file changed, 37 deletions(-) delete mode 100644 devdocs/gcc~13/local-labels.html (limited to 'devdocs/gcc~13/local-labels.html') diff --git a/devdocs/gcc~13/local-labels.html b/devdocs/gcc~13/local-labels.html deleted file mode 100644 index 229f6a1e..00000000 --- a/devdocs/gcc~13/local-labels.html +++ /dev/null @@ -1,37 +0,0 @@ -

Next: , Previous: , Up: Extensions to the C Language Family [Contents][Index]

6.2 Locally Declared Labels

GCC allows you to declare local labels in any nested block scope. A local label is just like an ordinary label, but you can only reference it (with a goto statement, or by taking its address) within the block in which it is declared.

A local label declaration looks like this: 

__label__ label;
-

or 

__label__ label1, label2, /* … */;
-

Local label declarations must come at the beginning of the block, before any ordinary declarations or statements.

The label declaration defines the label name, but does not define the label itself. You must do this in the usual way, with label:, within the statements of the statement expression.

The local label feature is useful for complex macros. If a macro contains nested loops, a goto can be useful for breaking out of them. However, an ordinary label whose scope is the whole function cannot be used: if the macro can be expanded several times in one function, the label is multiply defined in that function. A local label avoids this problem. For example: 

#define SEARCH(value, array, target)              \
-do {                                              \
-  __label__ found;                                \
-  typeof (target) _SEARCH_target = (target);      \
-  typeof (*(array)) *_SEARCH_array = (array);     \
-  int i, j;                                       \
-  int value;                                      \
-  for (i = 0; i < max; i++)                       \
-    for (j = 0; j < max; j++)                     \
-      if (_SEARCH_array[i][j] == _SEARCH_target)  \
-        { (value) = i; goto found; }              \
-  (value) = -1;                                   \
- found:;                                          \
-} while (0)
-

This could also be written using a statement expression: 

#define SEARCH(array, target)                     \
-({                                                \
-  __label__ found;                                \
-  typeof (target) _SEARCH_target = (target);      \
-  typeof (*(array)) *_SEARCH_array = (array);     \
-  int i, j;                                       \
-  int value;                                      \
-  for (i = 0; i < max; i++)                       \
-    for (j = 0; j < max; j++)                     \
-      if (_SEARCH_array[i][j] == _SEARCH_target)  \
-        { value = i; goto found; }                \
-  value = -1;                                     \
- found:                                           \
-  value;                                          \
-})
-

Local label declarations also make the labels they declare visible to nested functions, if there are any. See Nested Functions, for details.

Next: Labels as Values, Previous: Statements and Declarations in Expressions, Up: Extensions to the C Language Family [Contents][Index]

-

- © Free Software Foundation
Licensed under the GNU Free Documentation License, Version 1.3.
- https://gcc.gnu.org/onlinedocs/gcc-13.1.0/gcc/Local-Labels.html -

-
-- cgit v1.2.3