When turning a conditional branch into an unconditional one,
[smatch.git] / scope.h
blob61ab53bfd9110f3644f6a7abb3fb35ee7863f036
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 * Licensed under the Open Software License version 1.1
12 struct scope {
13 struct token *token; /* Scope start information */
14 struct symbol_list *symbols; /* List of symbols in this scope */
15 struct scope *next;
18 static inline int toplevel(struct scope *scope)
20 return scope->next == scope;
23 extern struct scope
24 *block_scope,
25 *function_scope,
26 *file_scope;
28 extern void start_symbol_scope(void);
29 extern void end_symbol_scope(void);
31 extern void start_function_scope(void);
32 extern void end_function_scope(void);
34 extern void bind_scope(struct symbol *, struct scope *);
36 #endif