]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/gimple-ssa-warn-restrict.h
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / gimple-ssa-warn-restrict.h
CommitLineData
cc8bea0a 1/* Warn on violations of the restrict qualifier.
99dee823 2 Copyright (C) 2017-2021 Free Software Foundation, Inc.
cc8bea0a
MS
3 Contributed by Martin Sebor <msebor@redhat.com>.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
16
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/>. */
20
21#ifndef GIMPLE_SSA_WARN_RESTRICT_H
22
e9e2bad7
MS
23extern opt_code check_bounds_or_overlap (gimple *, tree, tree, tree, tree,
24 bool = false, bool = true);
25extern opt_code check_bounds_or_overlap (class range_query *, gimple *,
26 tree, tree, tree, tree,
27 bool = false, bool = true);
cc8bea0a
MS
28
29#endif /* GIMPLE_SSA_WARN_RESTRICT_H */