X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=types.c;h=ab6e42379757bed3e1dfc3d5bc26f0b927c5b376;hb=127a634aa53da8c37ee50f365184cccad67df0d8;hp=82bdd0b080b7dffbeb0dd795558bb1dab68b6745;hpb=5ba6c59ce75fd069dfbfac1ce4d9a261c99251f6;p=cparser diff --git a/types.c b/types.c index 82bdd0b..ab6e423 100644 --- a/types.c +++ b/types.c @@ -1,6 +1,6 @@ /* * This file is part of cparser. - * Copyright (C) 2007-2008 Matthias Braun + * Copyright (C) 2007-2009 Matthias Braun * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -20,10 +20,12 @@ #include "type_t.h" #include "types.h" #include "lang_features.h" +#include "entity_t.h" /** The error type. */ type_t *type_error_type; +type_t *type_bool; type_t *type_char; type_t *type_const_char; type_t *type_double; @@ -35,19 +37,27 @@ type_t *type_long; type_t *type_short; type_t *type_unsigned_short; type_t *type_signed_char; +type_t *type_unsigned_char; type_t *type_unsigned_int; type_t *type_unsigned_long_long; type_t *type_unsigned_long; type_t *type_void; type_t *type_char_ptr; +type_t *type_char_ptr_restrict; type_t *type_const_char_ptr; +type_t *type_const_char_ptr_restrict; type_t *type_int_ptr; type_t *type_long_long_ptr; type_t *type_long_ptr; +type_t *type_unsigned_long_ptr; type_t *type_short_ptr; type_t *type_signed_char_ptr; type_t *type_void_ptr; +type_t *type_const_void; +type_t *type_const_void_ptr; +type_t *type_void_ptr_restrict; +type_t *type_const_void_ptr_restrict; type_t *type_char_ptr_ptr; @@ -67,6 +77,8 @@ type_t *type_ssize_t_ptr; type_t *type_wchar_t_ptr; type_t *type_const_wchar_t_ptr; +type_t *type_valist; + /* microsoft types */ atomic_type_kind_t int8_type_kind = ATOMIC_TYPE_INVALID; atomic_type_kind_t int16_type_kind = ATOMIC_TYPE_INVALID; @@ -87,15 +99,17 @@ type_t *type_unsigned_int8; type_t *type_unsigned_int16; type_t *type_unsigned_int32; type_t *type_unsigned_int64; +type_t *type_int64_ptr; void init_basic_types(void) { - static const type_base_t error = { TYPE_ERROR, { NULL, 0 }, 0, TYPE_QUALIFIER_NONE, - TYPE_MODIFIER_NONE, 0, NULL }; + static const type_base_t error = { TYPE_ERROR, TYPE_QUALIFIER_NONE, NULL }; type_error_type = (type_t*)&error; + type_bool = make_atomic_type(ATOMIC_TYPE_BOOL, TYPE_QUALIFIER_NONE); type_signed_char = make_atomic_type(ATOMIC_TYPE_SCHAR, TYPE_QUALIFIER_NONE); + type_unsigned_char = make_atomic_type(ATOMIC_TYPE_UCHAR, TYPE_QUALIFIER_NONE); type_short = make_atomic_type(ATOMIC_TYPE_SHORT, TYPE_QUALIFIER_NONE); type_unsigned_short = make_atomic_type(ATOMIC_TYPE_USHORT, TYPE_QUALIFIER_NONE); type_int = make_atomic_type(ATOMIC_TYPE_INT, TYPE_QUALIFIER_NONE); @@ -109,9 +123,10 @@ void init_basic_types(void) type_float = make_atomic_type(ATOMIC_TYPE_FLOAT, TYPE_QUALIFIER_NONE); type_char = make_atomic_type(ATOMIC_TYPE_CHAR, TYPE_QUALIFIER_NONE); type_void = make_atomic_type(ATOMIC_TYPE_VOID, TYPE_QUALIFIER_NONE); + type_const_void = make_atomic_type(ATOMIC_TYPE_VOID, TYPE_QUALIFIER_CONST); /* microsoft types */ - if(c_mode & _MS) { + if (c_mode & _MS) { int8_type_kind = find_signed_int_atomic_type_kind_for_size(1); type_int8 = make_atomic_type(int8_type_kind, TYPE_QUALIFIER_NONE); int16_type_kind = find_signed_int_atomic_type_kind_for_size(2); @@ -128,20 +143,55 @@ void init_basic_types(void) type_unsigned_int32 = make_atomic_type(unsigned_int32_type_kind, TYPE_QUALIFIER_NONE); unsigned_int64_type_kind = find_unsigned_int_atomic_type_kind_for_size(8); type_unsigned_int64 = make_atomic_type(unsigned_int64_type_kind, TYPE_QUALIFIER_NONE); + + /* pointer types */ + type_int64_ptr = make_pointer_type(type_int64, TYPE_QUALIFIER_NONE); } /* pointer types */ type_void_ptr = make_pointer_type(type_void, TYPE_QUALIFIER_NONE); + type_const_void_ptr = make_pointer_type(type_const_void, TYPE_QUALIFIER_NONE); + type_void_ptr_restrict = make_pointer_type(type_void, TYPE_QUALIFIER_RESTRICT); + type_const_void_ptr_restrict + = make_pointer_type(type_const_void, TYPE_QUALIFIER_RESTRICT); type_char_ptr = make_pointer_type(type_char, TYPE_QUALIFIER_NONE); + type_char_ptr_restrict = make_pointer_type(type_char, TYPE_QUALIFIER_RESTRICT); type_signed_char_ptr = make_pointer_type(type_signed_char, TYPE_QUALIFIER_NONE); type_short_ptr = make_pointer_type(type_short, TYPE_QUALIFIER_NONE); type_int_ptr = make_pointer_type(type_int, TYPE_QUALIFIER_NONE); type_long_ptr = make_pointer_type(type_long, TYPE_QUALIFIER_NONE); + type_unsigned_long_ptr = make_pointer_type(type_unsigned_long, TYPE_QUALIFIER_NONE); type_long_long_ptr = make_pointer_type(type_long_long, TYPE_QUALIFIER_NONE); type_char_ptr_ptr = make_pointer_type(type_char_ptr, TYPE_QUALIFIER_NONE); + type_valist = type_void_ptr; /* const character types */ type_const_char = make_atomic_type(ATOMIC_TYPE_CHAR, TYPE_QUALIFIER_CONST); type_const_char_ptr = make_pointer_type(type_const_char, TYPE_QUALIFIER_NONE); + type_const_char_ptr_restrict = make_pointer_type(type_const_char, TYPE_QUALIFIER_RESTRICT); + + /* other types */ + type_intmax_t = type_long_long; + type_size_t = type_unsigned_long; + type_ssize_t = type_long; + type_ptrdiff_t = type_long; + type_uintmax_t = type_unsigned_long_long; + type_uptrdiff_t = type_unsigned_long; + type_wint_t = type_int; + + type_intmax_t_ptr = make_pointer_type(type_intmax_t, TYPE_QUALIFIER_NONE); + type_ptrdiff_t_ptr = make_pointer_type(type_ptrdiff_t, TYPE_QUALIFIER_NONE); + type_ssize_t_ptr = make_pointer_type(type_ssize_t, TYPE_QUALIFIER_NONE); +} + +void init_wchar_types(type_t *base) +{ + assert(base->kind == TYPE_ATOMIC); + type_wchar_t = base; + type_const_wchar_t + = make_atomic_type(base->atomic.akind, TYPE_QUALIFIER_CONST); + type_wchar_t_ptr = make_pointer_type(type_wchar_t, TYPE_QUALIFIER_NONE); + type_const_wchar_t_ptr + = make_pointer_type(type_const_wchar_t, TYPE_QUALIFIER_NONE); }