annotate gcc/cp/type-utils.h @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Utilities for querying and manipulating type trees.
kono
parents:
diff changeset
2 Copyright (C) 2013-2017 Free Software Foundation, Inc.
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 This file is part of GCC.
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 GCC is free software; you can redistribute it and/or modify
kono
parents:
diff changeset
7 it under the terms of the GNU General Public License as published by
kono
parents:
diff changeset
8 the Free Software Foundation; either version 3, or (at your option)
kono
parents:
diff changeset
9 any later version.
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 GCC is distributed in the hope that it will be useful,
kono
parents:
diff changeset
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
kono
parents:
diff changeset
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
kono
parents:
diff changeset
14 GNU General Public License for more details.
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
17 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
18 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 #ifndef GCC_CP_TYPE_UTILS_H
kono
parents:
diff changeset
21 #define GCC_CP_TYPE_UTILS_H
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 /* Returns the first tree within T that is directly matched by PRED. T may be a
kono
parents:
diff changeset
24 type or PARM_DECL and is incrementally decomposed toward its type-specifier
kono
parents:
diff changeset
25 until a match is found. NULL_TREE is returned if PRED does not match any
kono
parents:
diff changeset
26 part of T.
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 This is primarily intended for detecting whether T uses `auto' or a concept
kono
parents:
diff changeset
29 identifier. Since either of these can only appear as a type-specifier for
kono
parents:
diff changeset
30 the declaration in question, only top-level qualifications are traversed;
kono
parents:
diff changeset
31 find_type_usage does not look through the whole type. */
kono
parents:
diff changeset
32
kono
parents:
diff changeset
33 inline tree
kono
parents:
diff changeset
34 find_type_usage (tree t, bool (*pred) (const_tree))
kono
parents:
diff changeset
35 {
kono
parents:
diff changeset
36 enum tree_code code;
kono
parents:
diff changeset
37 if (pred (t))
kono
parents:
diff changeset
38 return t;
kono
parents:
diff changeset
39
kono
parents:
diff changeset
40 code = TREE_CODE (t);
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 if (code == POINTER_TYPE || code == REFERENCE_TYPE
kono
parents:
diff changeset
43 || code == PARM_DECL || code == OFFSET_TYPE
kono
parents:
diff changeset
44 || code == FUNCTION_TYPE || code == METHOD_TYPE
kono
parents:
diff changeset
45 || code == ARRAY_TYPE)
kono
parents:
diff changeset
46 return find_type_usage (TREE_TYPE (t), pred);
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 if (TYPE_PTRMEMFUNC_P (t))
kono
parents:
diff changeset
49 return find_type_usage
kono
parents:
diff changeset
50 (TREE_TYPE (TYPE_PTRMEMFUNC_FN_TYPE (t)), pred);
kono
parents:
diff changeset
51
kono
parents:
diff changeset
52 return NULL_TREE;
kono
parents:
diff changeset
53 }
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 #endif // GCC_CP_TYPE_UTILS_H