aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAl Viro <viro@ftp.linux.org.uk>2009-03-11 07:08:15 +0000
committerChristopher Li <sparse@chrisli.org>2009-07-18 05:30:09 +0000
commit8de386390c2028ccaea4ac7e39aa915b6ec6bf94 (patch)
treed6bb1a0570875c5ac136b2a59b43e48262e38ad3
parentFix __label__ handling (diff)
downloadsparse-8de386390c2028ccaea4ac7e39aa915b6ec6bf94.tar.gz
sparse-8de386390c2028ccaea4ac7e39aa915b6ec6bf94.tar.bz2
sparse-8de386390c2028ccaea4ac7e39aa915b6ec6bf94.zip
Simplify get_number_value() and ctype_integer()
There's no point whatsoever in constructing modifiers for chosen type when decoding integer constant only to have them picked apart by ctype_integer(). Seeing that the former is the only caller of the latter these days, we can bloody well just pass the rank and signedness explicitly and save a lot of efforts. Signed-off-by: Al Viro <viro@zeniv.linux.org.uk> Signed-off-by: Christopher Li <chrisl@hera.kernel.org>
-rw-r--r--expression.c40
-rw-r--r--parse.c13
-rw-r--r--parse.h2
3 files changed, 23 insertions, 32 deletions
diff --git a/expression.c b/expression.c
index 124a8ec..7c88a28 100644
--- a/expression.c
+++ b/expression.c
@@ -272,7 +272,7 @@ static void get_number_value(struct expression *expr, struct token *token)
const char *str = token->number;
unsigned long long value;
char *end;
- unsigned long modifiers = 0;
+ int size = 0, want_unsigned = 0;
int overflow = 0, do_warn = 0;
int try_unsigned = 1;
int bits;
@@ -284,55 +284,55 @@ static void get_number_value(struct expression *expr, struct token *token)
if (value == ULLONG_MAX && errno == ERANGE)
overflow = 1;
while (1) {
- unsigned long added;
char c = *end++;
if (!c) {
break;
} else if (c == 'u' || c == 'U') {
- added = MOD_UNSIGNED;
+ if (want_unsigned)
+ goto Enoint;
+ want_unsigned = 1;
} else if (c == 'l' || c == 'L') {
- added = MOD_LONG;
+ if (size)
+ goto Enoint;
+ size = 1;
if (*end == c) {
- added |= MOD_LONGLONG;
+ size = 2;
end++;
}
} else
goto Float;
- if (modifiers & added)
- goto Enoint;
- modifiers |= added;
}
if (overflow)
goto Eoverflow;
/* OK, it's a valid integer */
/* decimals can be unsigned only if directly specified as such */
- if (str[0] != '0' && !(modifiers & MOD_UNSIGNED))
+ if (str[0] != '0' && !want_unsigned)
try_unsigned = 0;
- if (!(modifiers & MOD_LONG)) {
+ if (!size) {
bits = bits_in_int - 1;
if (!(value & (~1ULL << bits))) {
if (!(value & (1ULL << bits))) {
goto got_it;
} else if (try_unsigned) {
- modifiers |= MOD_UNSIGNED;
+ want_unsigned = 1;
goto got_it;
}
}
- modifiers |= MOD_LONG;
+ size = 1;
do_warn = 1;
}
- if (!(modifiers & MOD_LONGLONG)) {
+ if (size < 2) {
bits = bits_in_long - 1;
if (!(value & (~1ULL << bits))) {
if (!(value & (1ULL << bits))) {
goto got_it;
} else if (try_unsigned) {
- modifiers |= MOD_UNSIGNED;
+ want_unsigned = 1;
goto got_it;
}
do_warn |= 2;
}
- modifiers |= MOD_LONGLONG;
+ size = 2;
do_warn |= 1;
}
bits = bits_in_longlong - 1;
@@ -343,14 +343,14 @@ static void get_number_value(struct expression *expr, struct token *token)
if (!try_unsigned)
warning(expr->pos, "decimal constant %s is too big for long long",
show_token(token));
- modifiers |= MOD_UNSIGNED;
+ want_unsigned = 1;
got_it:
if (do_warn)
warning(expr->pos, "constant %s is so big it is%s%s%s",
show_token(token),
- (modifiers & MOD_UNSIGNED) ? " unsigned":"",
- (modifiers & MOD_LONG) ? " long":"",
- (modifiers & MOD_LONGLONG) ? " long":"");
+ want_unsigned ? " unsigned":"",
+ size > 0 ? " long":"",
+ size > 1 ? " long":"");
if (do_warn & 2)
warning(expr->pos,
"decimal constant %s is between LONG_MAX and ULONG_MAX."
@@ -359,7 +359,7 @@ got_it:
show_token(token));
expr->type = EXPR_VALUE;
expr->flags = Int_const_expr;
- expr->ctype = ctype_integer(modifiers);
+ expr->ctype = ctype_integer(size, want_unsigned);
expr->value = value;
return;
Eoverflow:
diff --git a/parse.c b/parse.c
index 04558a5..e990f33 100644
--- a/parse.c
+++ b/parse.c
@@ -1262,18 +1262,9 @@ static struct symbol * const * const types[] = {
real_types + 1, char_types, char_types + 1, char_types + 2
};
-struct symbol *ctype_integer(unsigned long spec)
+struct symbol *ctype_integer(int size, int want_unsigned)
{
- int size;
-
- if (spec & MOD_LONGLONG)
- size = 2;
- else if (spec & MOD_LONG)
- size = 1;
- else
- size = 0;
-
- return types[spec & MOD_UNSIGNED ? CUInt : CInt][size];
+ return types[want_unsigned ? CUInt : CInt][size];
}
static struct token *handle_qualifiers(struct token *t, struct decl_state *ctx)
diff --git a/parse.h b/parse.h
index 26dc624..02b8585 100644
--- a/parse.h
+++ b/parse.h
@@ -127,7 +127,7 @@ extern int show_expression(struct expression *);
extern struct token *external_declaration(struct token *token, struct symbol_list **list);
-extern struct symbol *ctype_integer(unsigned long spec);
+extern struct symbol *ctype_integer(int size, int want_unsigned);
extern void copy_statement(struct statement *src, struct statement *dst);
extern int inline_function(struct expression *expr, struct symbol *sym);