scope.c

   1 /*
   2  * Symbol scoping.
   3  *
   4  * This is pretty trivial.
   5  *
   6  * Copyright (C) 2003 Transmeta Corp.
   7  *               2003-2004 Linus Torvalds
   8  *
   9  * Permission is hereby granted, free of charge, to any person obtaining a copy
  10  * of this software and associated documentation files (the "Software"), to deal
  11  * in the Software without restriction, including without limitation the rights
  12  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  13  * copies of the Software, and to permit persons to whom the Software is
  14  * furnished to do so, subject to the following conditions:
  15  *
  16  * The above copyright notice and this permission notice shall be included in
  17  * all copies or substantial portions of the Software.
  18  *
  19  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  20  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  21  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  22  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  23  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  24  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  25  * THE SOFTWARE.
  26  */
  27 #include <stdlib.h>
  28 #include <string.h>
  29 #include <stdio.h>
  30
  31 #include "lib.h"
  32 #include "allocate.h"
  33 #include "symbol.h"
  34 #include "scope.h"
  35
  36 static struct scope builtin_scope = { .next = &builtin_scope };
  37
  38 struct scope    *block_scope = &builtin_scope,          // regular automatic variables etc
  39                 *function_scope = &builtin_scope,       // labels, arguments etc
  40                 *file_scope = &builtin_scope,           // static
  41                 *global_scope = &builtin_scope;         // externally visible
  42
  43 void bind_scope(struct symbol *sym, struct scope *scope)
  44 {
  45         sym->scope = scope;
  46         add_symbol(&scope->symbols, sym);
  47 }
  48
  49 static void start_scope(struct scope **s, struct position pos)
  50 {
  51         struct scope *scope = __alloc_scope(0);
  52         memset(scope, 0, sizeof(*scope));
  53         scope->token = __alloc_token(0);
  54         scope->token->pos = pos;
  55         scope->next = *s;
  56         *s = scope;
  57 }
  58
  59 void start_file_scope(void)
  60 {
  61         struct scope *scope = __alloc_scope(0);
  62
  63         memset(scope, 0, sizeof(*scope));
  64         scope->next = &builtin_scope;
  65         file_scope = scope;
  66
  67         /* top-level stuff defaults to file scope, "extern" etc will choose global scope */
  68         function_scope = scope;
  69         block_scope = scope;
  70 }
  71
  72 void start_symbol_scope(struct position pos)
  73 {
  74         start_scope(&block_scope, pos);
  75 }
  76
  77 void start_function_scope(struct position pos)
  78 {
  79         start_scope(&function_scope, pos);
  80         start_scope(&block_scope, pos);
  81 }
  82
  83 static void remove_symbol_scope(struct symbol *sym)
  84 {
  85         struct symbol **ptr = &sym->ident->symbols;
  86
  87         while (*ptr != sym)
  88                 ptr = &(*ptr)->next_id;
  89         *ptr = sym->next_id;
  90 }
  91
  92 static void end_scope(struct scope **s)
  93 {
  94         struct scope *scope = *s;
  95         struct symbol_list *symbols = scope->symbols;
  96         struct symbol *sym;
  97
  98         *s = scope->next;
  99         scope->symbols = NULL;
 100         FOR_EACH_PTR(symbols, sym) {
 101                 remove_symbol_scope(sym);
 102         } END_FOR_EACH_PTR(sym);
 103 }
 104
 105 void end_file_scope(void)
 106 {
 107         end_scope(&file_scope);
 108 }
 109
 110 void new_file_scope(void)
 111 {
 112         if (file_scope != &builtin_scope)
 113                 end_file_scope();
 114         start_file_scope();
 115 }
 116
 117 void end_symbol_scope(void)
 118 {
 119         end_scope(&block_scope);
 120 }
 121
 122 void end_function_scope(void)
 123 {
 124         end_scope(&block_scope);
 125         end_scope(&function_scope);
 126 }
 127
 128 int is_outer_scope(struct scope *scope)
 129 {
 130         if (scope == block_scope)
 131                 return 0;
 132         if (scope == &builtin_scope && block_scope->next == &builtin_scope)
 133                 return 0;
 134         return 1;
 135 }
 136