[Ada] Missing range check on assignment to bit-packed array
[official-gcc.git] / gcc / gimple-ssa-warn-restrict.h
blob47835de84c6a3b1fadfaa42f7cc5b0c7ddf8eb7e
1 /* Warn on violations of the restrict qualifier.
2 Copyright (C) 2017-2019 Free Software Foundation, Inc.
3 Contributed by Martin Sebor <msebor@redhat.com>.
5 This file is part of GCC.
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.
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.
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 #ifndef GIMPLE_SSA_WARN_RESTRICT_H
23 extern int check_bounds_or_overlap (gimple *, tree, tree, tree, tree,
24 bool = false, bool = true);
26 #endif /* GIMPLE_SSA_WARN_RESTRICT_H */