# This file is part of GNU cflow testsuite. -*- Autotest -*- # Copyright (C) 2005 Sergey Poznyakoff # # This program is free software; you can redistribute it and/or # modify it under the terms of the GNU General Public License as # published by the Free Software Foundation; either version 2, or (at # your option) any later version. # # This program is distributed in the hope that it will be useful, but # WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU # General Public License for more details. # # You should have received a copy of the GNU General Public License # along with this program; if not, write to the Free Software # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA # 02110-1301 USA. AT_SETUP([included symbols]) AT_KEYWORDS([include]) AT_DATA([prog],[ int a; long _b; static int c; static void _bar(int x) { a = x; } int foo(int y) { _b = y; c = y; _bar(); return 1; } int main() { static int d = foo(2); return d; } ]) CFLOW_OPT([-v],[ CFLOW_CHECK_PROG([prog], [main() : foo() :]) ]) CFLOW_OPT([-v -i_],[ CFLOW_CHECK_PROG([prog], [main() : foo() : _bar() :]) ]) CFLOW_OPT([-v -ix],[ CFLOW_CHECK_PROG([prog], [main() : foo() : c d ]) ]) CFLOW_OPT([-v -ix_],[ CFLOW_CHECK_PROG([prog], [main() : foo() : _b c _bar() : a d ]) ]) CFLOW_OPT([-v -ix_ -i^s],[ CFLOW_CHECK_PROG([prog], [main() : foo() : _b ]) ]) AT_CLEANUP