1 /* An overview of the state machine from sm-file.cc.
2 Copyright (C) 2022-2023 Free Software Foundation, Inc.
3 Contributed by David Malcolm <dmalcolm@redhat.com>.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
12 GCC is distributed in the hope that it will be useful, but
13 WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
21 /* Keep this in-sync with sm-file.cc */
30 /* State for a FILE * returned from fopen that hasn't been checked for
32 It could be an open stream, or could be NULL. */
35 /* State for a FILE * that's known to be NULL. */
38 /* State for a FILE * that's known to be a non-NULL open stream. */
41 /* State for a FILE * that's had fclose called on it. */
44 /* Stop state, for a FILE * we don't want to track any more. */
50 start -> unchecked [label="on 'X = fopen(...);'"];
53 start -> closed [label="on 'close(X);'"];
54 /* TODO: is it safe to call fclose (NULL) ? */
55 unchecked -> closed [label="on 'close(X);'"];
56 null -> closed [label="on 'close(X);'"];
57 nonnull -> closed [label="on 'close(X);'"];
58 closed -> stop [label="on 'close(X);':\nWarn('double fclose')"];
61 unchecked -> nonnull [label="on 'X != 0'"];
62 unchecked -> null [label="on 'X == 0'"];
65 unchecked -> stop [label="on leak:\nWarn('leak')"];
66 nonnull -> stop [label="on leak:\nWarn('leak')"];