Symbol: end_scope
usr/src/tools/smatch/src/scope.c
120
end_scope(&file_scope);
usr/src/tools/smatch/src/scope.c
132
end_scope(&block_scope);
usr/src/tools/smatch/src/scope.c
137
end_scope(&block_scope);
usr/src/tools/smatch/src/scope.c
138
end_scope(&function_scope);