aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@gcc.gnu.org>2025-04-17 20:46:57 +0200
committerEric Botcazou <ebotcazou@gcc.gnu.org>2025-04-17 20:48:26 +0200
commit3dabe6a53ef3ac24956938e2974d1c21a2a5c7ee (patch)
tree14d5c16c663c36fe6c3e5507e352d67206850895
parent4cff0434e8bf6683988482a7e47f8459c06f2c05 (diff)
downloadgcc-3dabe6a53ef3ac24956938e2974d1c21a2a5c7ee.zip
gcc-3dabe6a53ef3ac24956938e2974d1c21a2a5c7ee.tar.gz
gcc-3dabe6a53ef3ac24956938e2974d1c21a2a5c7ee.tar.bz2
Document peculiarities of BOOLEAN_TYPE
gcc/ * tree.def (BOOLEAN_TYPE): Add more details.
-rw-r--r--gcc/tree.def6
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/tree.def b/gcc/tree.def
index c4ad8d0..2c37e44 100644
--- a/gcc/tree.def
+++ b/gcc/tree.def
@@ -135,7 +135,11 @@ DEFTREECODE (OFFSET_TYPE, "offset_type", tcc_type, 0)
DEFTREECODE (ENUMERAL_TYPE, "enumeral_type", tcc_type, 0)
/* Boolean type (true or false are the only values). Looks like an
- INTEGRAL_TYPE. */
+ INTEGER_TYPE, but must be dealt with specially because TYPE_PRECISION
+ may be arbitrary despite the restricted set of valid values (in other
+ words, boolean types with TYPE_PRECISION > 1 exist in some languages).
+ Similarly, TYPE_UNSIGNED may be false for components of vector masks,
+ as well as for boolean types in languages other than C. */
DEFTREECODE (BOOLEAN_TYPE, "boolean_type", tcc_type, 0)
/* Integer types in all languages, including char in C.