libgo: update to Go 1.15.4 release
[official-gcc.git] / gcc / cp / type-utils.h
blob4ad0d822119a147430f9a4b39d235edc7a4a4664
1 /* Utilities for querying and manipulating type trees.
2 Copyright (C) 2013-2020 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
9 any later version.
11 GCC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 #ifndef GCC_CP_TYPE_UTILS_H
21 #define GCC_CP_TYPE_UTILS_H
23 /* Returns a pointer to the first tree within *TP that is directly matched by
24 PRED. *TP may be a type or PARM_DECL and is incrementally decomposed toward
25 its type-specifier until a match is found. NULL is returned if PRED does not
26 match any part of *TP.
28 This is primarily intended for detecting whether *TP uses `auto' or a concept
29 identifier. Since either of these can only appear as a type-specifier for
30 the declaration in question, only top-level qualifications are traversed;
31 find_type_usage does not look through the whole type. */
33 inline tree *
34 find_type_usage (tree *tp, bool (*pred) (const_tree))
36 tree t = *tp;
37 if (pred (t))
38 return tp;
40 enum tree_code code = TREE_CODE (t);
42 if (code == POINTER_TYPE || code == REFERENCE_TYPE
43 || code == PARM_DECL || code == OFFSET_TYPE
44 || code == FUNCTION_TYPE || code == METHOD_TYPE
45 || code == ARRAY_TYPE)
46 return find_type_usage (&TREE_TYPE (t), pred);
48 if (TYPE_PTRMEMFUNC_P (t))
49 return find_type_usage
50 (&TREE_TYPE (TYPE_PTRMEMFUNC_FN_TYPE (t)), pred);
52 return NULL;
55 #endif // GCC_CP_TYPE_UTILS_H