fix missing itype in SEL(x, 0/1, 1/0) --> (x ==/!= 0)
[smatch.git] / scope.h
blob36a56d6adf1da7ae6f9a85dcb896c8c0f1c3b41a
1 #ifndef SCOPE_H
2 #define SCOPE_H
3 /*
4 * Symbol scoping is pretty simple.
6 * Copyright (C) 2003 Transmeta Corp.
7 * 2003 Linus Torvalds
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:
16 * The above copyright notice and this permission notice shall be included in
17 * all copies or substantial portions of the Software.
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.
28 struct symbol;
30 struct scope {
31 struct symbol_list *symbols; /* List of symbols in this scope */
32 struct scope *next;
35 extern struct scope
36 *block_scope,
37 *label_scope,
38 *function_scope,
39 *file_scope,
40 *global_scope;
42 static inline int toplevel(struct scope *scope)
44 return scope == file_scope || scope == global_scope;
47 extern void start_file_scope(void);
48 extern void end_file_scope(void);
49 extern void new_file_scope(void);
51 extern void start_block_scope(void);
52 extern void end_block_scope(void);
54 extern void start_function_scope(void);
55 extern void end_function_scope(void);
57 extern void start_label_scope(void);
58 extern void end_label_scope(void);
60 extern void set_current_scope(struct symbol *);
61 extern void bind_scope(struct symbol *, struct scope *);
62 extern void rebind_scope(struct symbol *, struct scope *);
64 extern int is_outer_scope(struct scope *);
65 extern int is_in_scope(struct scope *outer, struct scope *inner);
67 #endif