From: Kamil Dudka <kdudka@redhat.com>
To: Christopher Li <sparse@chrisli.org>
Cc: Pavel Roskin <proski@gnu.org>,
Josh Triplett <josh@joshtriplett.org>,
linux-sparse@vger.kernel.org
Subject: Re: Sparse crash when mixing int and enum in ternary operator
Date: Sat, 13 Mar 2010 18:22:48 +0100 [thread overview]
Message-ID: <201003131822.49308.kdudka@redhat.com> (raw)
In-Reply-To: <70318cbf1003101356u48688264na5c9d71bc1ef4300@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 1030 bytes --]
On Wednesday 10 of March 2010 22:56:15 Christopher Li wrote:
> I feel that we shouldn't do special handling for EXPR_CONDITIONAL here.
> We should just make the warn_for_enum_conversions more robust.
> Special handing EXPR_CONDITIONAL here is just an one off thing.
> What if there is a nested EXPR_CONDITIONAL inside the expr->cond_true?
> See, your do_warn_for_enum_conversions() still need to handle
> EXPR_CONDITIONAL any way. So I argue that we don't need that
> special case for EXPR_CONDITIONAL here.
Indeed, you're right. This flaw should be fixed in the attached patch.
I was unsuscessfully looking for an implementation of stack within sparse.
So that I used the implicit one instead. I know it's pretty bad idea, but
I am not aware of any easy way to handle it better.
> BTW, EXPR_SELECT only appear after expand stage. So you should not
> see EXPR_SELECT in the evaluate stage.
It makes sense, so that I've inserted assert(0) there.
Thank you for the review! A pair of the improved patches is attached.
Kamil
[-- Attachment #2: 0001-Wenum-to-int-is-now-emitted-only-when-it-makes-sense.patch --]
[-- Type: text/x-diff, Size: 10336 bytes --]
From 73ff23e581cfb98b9460def7921b3c521b1a2410 Mon Sep 17 00:00:00 2001
From: Kamil Dudka <kdudka@redhat.com>
Date: Sat, 13 Mar 2010 17:59:22 +0100
Subject: [PATCH 1/2] -Wenum-to-int is now emitted only when it makes sense
... namely in case of initialization, assignment and switch
Signed-off-by: Kamil Dudka <kdudka@redhat.com>
---
evaluate.c | 3 +-
validation/enum-common.c | 2 +
validation/enum-from-int.c | 32 ++++++++++++------------
validation/enum-mismatch.c | 58 ++++++++++++++++++++++----------------------
validation/enum-to-int.c | 39 ++++++++++++++++-------------
5 files changed, 70 insertions(+), 64 deletions(-)
diff --git a/evaluate.c b/evaluate.c
index d3d5e6f..eb1704a 100644
--- a/evaluate.c
+++ b/evaluate.c
@@ -330,7 +330,6 @@ static void
warn_for_enum_conversions(struct expression *expr, struct symbol *type)
{
warn_for_different_enum_types (expr, type);
- warn_for_enum_to_int_conversion (expr, type);
warn_for_int_to_enum_conversion (expr, type);
}
@@ -1447,6 +1446,7 @@ Err:
*rp = cast_to(*rp, target);
return 0;
Cast:
+ warn_for_enum_to_int_conversion(*rp, target);
*rp = cast_to(*rp, target);
return 1;
}
@@ -3326,6 +3326,7 @@ static void check_case_type(struct expression *switch_expr,
if (!switch_type || !case_type)
goto Bad;
+ warn_for_enum_to_int_conversion(case_expr, switch_type);
warn_for_enum_conversions(case_expr, switch_type);
sclass = classify_type(switch_type, &switch_type);
diff --git a/validation/enum-common.c b/validation/enum-common.c
index f940fef..4685cdf 100644
--- a/validation/enum-common.c
+++ b/validation/enum-common.c
@@ -27,6 +27,7 @@ static void always_ok(void)
var_a = (enum ENUM_TYPE_A) 0;
anon_enum_var = (__typeof__(anon_enum_var)) 0;
anon_enum_var = (__typeof__(anon_enum_var)) VALUE_A;
+ i = (var_a == VALUE_A);
switch (var_a) {
case VALUE_A:
@@ -94,6 +95,7 @@ static void trigger_int_to_enum_conversion(void)
static void trigger_enum_to_int_conversion(void)
{
+ int other = var_a;
i = var_a;
i = VALUE_B;
switch (i) {
diff --git a/validation/enum-from-int.c b/validation/enum-from-int.c
index 15b1e4d..4dc63a8 100644
--- a/validation/enum-from-int.c
+++ b/validation/enum-from-int.c
@@ -5,32 +5,32 @@
* check-command: sparse -Wno-enum-mismatch $file
*
* check-error-start
-enum-common.c:84:45: warning: conversion of
-enum-common.c:84:45: int to
-enum-common.c:84:45: int enum ENUM_TYPE_A
enum-common.c:85:45: warning: conversion of
enum-common.c:85:45: int to
enum-common.c:85:45: int enum ENUM_TYPE_A
-enum-common.c:82:22: warning: conversion of
-enum-common.c:82:22: int to
-enum-common.c:82:22: int enum ENUM_TYPE_A
-enum-common.c:87:17: warning: conversion of
-enum-common.c:87:17: int to
-enum-common.c:87:17: int enum ENUM_TYPE_A
+enum-common.c:86:45: warning: conversion of
+enum-common.c:86:45: int to
+enum-common.c:86:45: int enum ENUM_TYPE_A
+enum-common.c:83:22: warning: conversion of
+enum-common.c:83:22: int to
+enum-common.c:83:22: int enum ENUM_TYPE_A
enum-common.c:88:17: warning: conversion of
enum-common.c:88:17: int to
-enum-common.c:88:17: int enum ENUM_TYPE_B
-enum-common.c:89:25: warning: conversion of
-enum-common.c:89:25: int to
-enum-common.c:89:25: int enum <noident>
+enum-common.c:88:17: int enum ENUM_TYPE_A
+enum-common.c:89:17: warning: conversion of
+enum-common.c:89:17: int to
+enum-common.c:89:17: int enum ENUM_TYPE_B
enum-common.c:90:25: warning: conversion of
enum-common.c:90:25: int to
enum-common.c:90:25: int enum <noident>
-enum-common.c:91:18: warning: conversion of
-enum-common.c:91:18: int to
-enum-common.c:91:18: int enum ENUM_TYPE_A
+enum-common.c:91:25: warning: conversion of
+enum-common.c:91:25: int to
+enum-common.c:91:25: int enum <noident>
enum-common.c:92:18: warning: conversion of
enum-common.c:92:18: int to
enum-common.c:92:18: int enum ENUM_TYPE_A
+enum-common.c:93:18: warning: conversion of
+enum-common.c:93:18: int to
+enum-common.c:93:18: int enum ENUM_TYPE_A
* check-error-end
*/
diff --git a/validation/enum-mismatch.c b/validation/enum-mismatch.c
index 6db016f..b1a4369 100644
--- a/validation/enum-mismatch.c
+++ b/validation/enum-mismatch.c
@@ -5,44 +5,44 @@
* check-command: sparse -Wenum-mismatch -Wno-int-to-enum $file
*
* check-error-start
-enum-common.c:57:45: warning: mixing different enum types
-enum-common.c:57:45: int enum ENUM_TYPE_B versus
-enum-common.c:57:45: int enum ENUM_TYPE_A
enum-common.c:58:45: warning: mixing different enum types
enum-common.c:58:45: int enum ENUM_TYPE_B versus
enum-common.c:58:45: int enum ENUM_TYPE_A
-enum-common.c:54:22: warning: mixing different enum types
-enum-common.c:54:22: int enum ENUM_TYPE_B versus
-enum-common.c:54:22: int enum ENUM_TYPE_A
+enum-common.c:59:45: warning: mixing different enum types
+enum-common.c:59:45: int enum ENUM_TYPE_B versus
+enum-common.c:59:45: int enum ENUM_TYPE_A
enum-common.c:55:22: warning: mixing different enum types
-enum-common.c:55:22: int enum <noident> versus
+enum-common.c:55:22: int enum ENUM_TYPE_B versus
enum-common.c:55:22: int enum ENUM_TYPE_A
-enum-common.c:64:45: warning: mixing different enum types
-enum-common.c:64:45: int enum <noident> versus
-enum-common.c:64:45: int enum ENUM_TYPE_A
+enum-common.c:56:22: warning: mixing different enum types
+enum-common.c:56:22: int enum <noident> versus
+enum-common.c:56:22: int enum ENUM_TYPE_A
enum-common.c:65:45: warning: mixing different enum types
enum-common.c:65:45: int enum <noident> versus
enum-common.c:65:45: int enum ENUM_TYPE_A
-enum-common.c:62:22: warning: mixing different enum types
-enum-common.c:62:22: int enum ENUM_TYPE_A versus
-enum-common.c:62:22: int enum <noident>
-enum-common.c:69:17: warning: mixing different enum types
-enum-common.c:69:17: int enum ENUM_TYPE_B versus
-enum-common.c:69:17: int enum ENUM_TYPE_A
+enum-common.c:66:45: warning: mixing different enum types
+enum-common.c:66:45: int enum <noident> versus
+enum-common.c:66:45: int enum ENUM_TYPE_A
+enum-common.c:63:22: warning: mixing different enum types
+enum-common.c:63:22: int enum ENUM_TYPE_A versus
+enum-common.c:63:22: int enum <noident>
enum-common.c:70:17: warning: mixing different enum types
-enum-common.c:70:17: int enum <noident> versus
-enum-common.c:70:17: int enum ENUM_TYPE_B
-enum-common.c:71:25: warning: mixing different enum types
-enum-common.c:71:25: int enum ENUM_TYPE_A versus
-enum-common.c:71:25: int enum <noident>
-enum-common.c:74:17: warning: mixing different enum types
-enum-common.c:74:17: int enum ENUM_TYPE_B versus
-enum-common.c:74:17: int enum ENUM_TYPE_A
+enum-common.c:70:17: int enum ENUM_TYPE_B versus
+enum-common.c:70:17: int enum ENUM_TYPE_A
+enum-common.c:71:17: warning: mixing different enum types
+enum-common.c:71:17: int enum <noident> versus
+enum-common.c:71:17: int enum ENUM_TYPE_B
+enum-common.c:72:25: warning: mixing different enum types
+enum-common.c:72:25: int enum ENUM_TYPE_A versus
+enum-common.c:72:25: int enum <noident>
enum-common.c:75:17: warning: mixing different enum types
-enum-common.c:75:17: int enum <noident> versus
-enum-common.c:75:17: int enum ENUM_TYPE_B
-enum-common.c:76:25: warning: mixing different enum types
-enum-common.c:76:25: int enum ENUM_TYPE_A versus
-enum-common.c:76:25: int enum <noident>
+enum-common.c:75:17: int enum ENUM_TYPE_B versus
+enum-common.c:75:17: int enum ENUM_TYPE_A
+enum-common.c:76:17: warning: mixing different enum types
+enum-common.c:76:17: int enum <noident> versus
+enum-common.c:76:17: int enum ENUM_TYPE_B
+enum-common.c:77:25: warning: mixing different enum types
+enum-common.c:77:25: int enum ENUM_TYPE_A versus
+enum-common.c:77:25: int enum <noident>
* check-error-end
*/
diff --git a/validation/enum-to-int.c b/validation/enum-to-int.c
index a981ce5..78a31e9 100644
--- a/validation/enum-to-int.c
+++ b/validation/enum-to-int.c
@@ -5,23 +5,26 @@
* check-command: sparse -Wenum-to-int -Wno-enum-mismatch -Wno-int-to-enum $file
*
* check-error-start
-enum-common.c:97:13: warning: conversion of
-enum-common.c:97:13: int enum ENUM_TYPE_A to
-enum-common.c:97:13: int
-enum-common.c:98:13: warning: conversion of
-enum-common.c:98:13: int enum ENUM_TYPE_B to
-enum-common.c:98:13: int
-enum-common.c:103:34: warning: conversion of
-enum-common.c:103:34: int enum ENUM_TYPE_A to
-enum-common.c:103:34: int
-enum-common.c:104:34: warning: conversion of
-enum-common.c:104:34: int enum ENUM_TYPE_B to
-enum-common.c:104:34: int
-enum-common.c:100:22: warning: conversion of
-enum-common.c:100:22: int enum ENUM_TYPE_A to
-enum-common.c:100:22: int
-enum-common.c:101:22: warning: conversion of
-enum-common.c:101:22: int enum ENUM_TYPE_B to
-enum-common.c:101:22: int
+enum-common.c:98:21: warning: conversion of
+enum-common.c:98:21: int enum ENUM_TYPE_A to
+enum-common.c:98:21: int
+enum-common.c:99:13: warning: conversion of
+enum-common.c:99:13: int enum ENUM_TYPE_A to
+enum-common.c:99:13: int
+enum-common.c:100:13: warning: conversion of
+enum-common.c:100:13: int enum ENUM_TYPE_B to
+enum-common.c:100:13: int
+enum-common.c:105:34: warning: conversion of
+enum-common.c:105:34: int enum ENUM_TYPE_A to
+enum-common.c:105:34: int
+enum-common.c:106:34: warning: conversion of
+enum-common.c:106:34: int enum ENUM_TYPE_B to
+enum-common.c:106:34: int
+enum-common.c:102:22: warning: conversion of
+enum-common.c:102:22: int enum ENUM_TYPE_A to
+enum-common.c:102:22: int
+enum-common.c:103:22: warning: conversion of
+enum-common.c:103:22: int enum ENUM_TYPE_B to
+enum-common.c:103:22: int
* check-error-end
*/
--
1.7.0.2
[-- Attachment #3: 0002-Wenum-mismatch-now-works-better-with-conditional-op.patch --]
[-- Type: text/x-diff, Size: 15348 bytes --]
From 9dd4013046ef64d4ac7d09c336e69a3edf504ded Mon Sep 17 00:00:00 2001
From: Kamil Dudka <kdudka@redhat.com>
Date: Sat, 13 Mar 2010 18:07:51 +0100
Subject: [PATCH 2/2] -Wenum-mismatch now works better with conditional op.
It used to crash instead of reporting the warnings properly. Reported
by Pavel Roskin.
Signed-off-by: Kamil Dudka <kdudka@redhat.com>
---
evaluate.c | 35 +++++++++++++---
validation/enum-common.c | 15 +++++++
validation/enum-from-int.c | 63 ++++++++++++++++------------
validation/enum-mismatch.c | 100 +++++++++++++++++++++++++++-----------------
validation/enum-to-int.c | 42 +++++++++---------
5 files changed, 163 insertions(+), 92 deletions(-)
diff --git a/evaluate.c b/evaluate.c
index eb1704a..ec96a71 100644
--- a/evaluate.c
+++ b/evaluate.c
@@ -8,6 +8,7 @@
*
* Evaluate constant expressions.
*/
+#include <assert.h>
#include <stdlib.h>
#include <stdarg.h>
#include <stddef.h>
@@ -235,7 +236,7 @@ static int is_same_type(struct expression *expr, struct symbol *new)
}
static void
-resolve_sym_node (struct symbol **psym)
+resolve_sym_node(struct symbol **psym)
{
struct symbol *sym = *psym;
if (sym->type == SYM_NODE)
@@ -243,7 +244,7 @@ resolve_sym_node (struct symbol **psym)
}
static void
-warn_for_different_enum_types (struct expression *expr, struct symbol *typeb)
+warn_for_different_enum_types(struct expression *expr, struct symbol *typeb)
{
struct position pos = expr->pos;
struct symbol *typea = expr->ctype;
@@ -284,7 +285,7 @@ issue_conversion_warning(struct position pos,
}
static void
-warn_for_enum_to_int_conversion (struct expression *expr, struct symbol *typeb)
+warn_for_enum_to_int_conversion(struct expression *expr, struct symbol *typeb)
{
struct position pos = expr->pos;
struct symbol *typea = expr->ctype;
@@ -307,7 +308,7 @@ warn_for_enum_to_int_conversion (struct expression *expr, struct symbol *typeb)
}
static void
-warn_for_int_to_enum_conversion (struct expression *expr, struct symbol *typeb)
+warn_for_int_to_enum_conversion(struct expression *expr, struct symbol *typeb)
{
struct position pos = expr->pos;
struct symbol *typea = expr->ctype;
@@ -329,8 +330,30 @@ warn_for_int_to_enum_conversion (struct expression *expr, struct symbol *typeb)
static void
warn_for_enum_conversions(struct expression *expr, struct symbol *type)
{
- warn_for_different_enum_types (expr, type);
- warn_for_int_to_enum_conversion (expr, type);
+ assert(expr);
+ assert(type);
+
+ /* look through implied cast(s) */
+ while (expr->type == EXPR_IMPLIED_CAST)
+ expr = expr->cast_expression;
+
+ switch (expr->type) {
+ case EXPR_SELECT:
+ /* EXPR_SELECT should not appear in the evaluate stage */
+ assert(0);
+
+ case EXPR_CONDITIONAL:
+ warn_for_enum_conversions(expr->cond_true
+ /* handle the "?:" quirk */
+ ?: expr->conditional,
+ type);
+ warn_for_enum_conversions(expr->cond_false, type);
+ break;
+
+ default:
+ warn_for_different_enum_types(expr, type);
+ warn_for_int_to_enum_conversion(expr, type);
+ }
}
/*
diff --git a/validation/enum-common.c b/validation/enum-common.c
index 4685cdf..24fef59 100644
--- a/validation/enum-common.c
+++ b/validation/enum-common.c
@@ -47,6 +47,10 @@ static void always_ok(void)
default:
take_int(VALUE_C);
}
+
+ var_a = var_b ? var_a : VALUE_A;
+ var_b = VALUE_A ? VALUE_B : var_b;
+ take_enum_of_type_a(var_a ?: var_a);
}
static void trigger_enum_mismatch(void)
@@ -75,6 +79,13 @@ static void trigger_enum_mismatch(void)
var_a = VALUE_B;
var_b = VALUE_C;
anon_enum_var = VALUE_A;
+
+ // conditional operator
+ anon_enum_var = i ? VALUE_A : VALUE_B;
+ var_a = anon_enum_var ? VALUE_A : VALUE_B;
+ var_b = anon_enum_var ? VALUE_A : VALUE_B;
+ take_enum_of_type_a(var_a ?: var_b);
+ take_enum_of_type_a(var_b ?: var_a);
}
static void trigger_int_to_enum_conversion(void)
@@ -91,6 +102,10 @@ static void trigger_int_to_enum_conversion(void)
anon_enum_var = i;
var_a = (int) VALUE_A;
var_a = (int) VALUE_B;
+
+ // conditional operator
+ take_enum_of_type_a(var_a ?: i);
+ take_enum_of_type_a(i ?: var_a);
}
static void trigger_enum_to_int_conversion(void)
diff --git a/validation/enum-from-int.c b/validation/enum-from-int.c
index 4dc63a8..6465235 100644
--- a/validation/enum-from-int.c
+++ b/validation/enum-from-int.c
@@ -5,32 +5,41 @@
* check-command: sparse -Wno-enum-mismatch $file
*
* check-error-start
-enum-common.c:85:45: warning: conversion of
-enum-common.c:85:45: int to
-enum-common.c:85:45: int enum ENUM_TYPE_A
-enum-common.c:86:45: warning: conversion of
-enum-common.c:86:45: int to
-enum-common.c:86:45: int enum ENUM_TYPE_A
-enum-common.c:83:22: warning: conversion of
-enum-common.c:83:22: int to
-enum-common.c:83:22: int enum ENUM_TYPE_A
-enum-common.c:88:17: warning: conversion of
-enum-common.c:88:17: int to
-enum-common.c:88:17: int enum ENUM_TYPE_A
-enum-common.c:89:17: warning: conversion of
-enum-common.c:89:17: int to
-enum-common.c:89:17: int enum ENUM_TYPE_B
-enum-common.c:90:25: warning: conversion of
-enum-common.c:90:25: int to
-enum-common.c:90:25: int enum <noident>
-enum-common.c:91:25: warning: conversion of
-enum-common.c:91:25: int to
-enum-common.c:91:25: int enum <noident>
-enum-common.c:92:18: warning: conversion of
-enum-common.c:92:18: int to
-enum-common.c:92:18: int enum ENUM_TYPE_A
-enum-common.c:93:18: warning: conversion of
-enum-common.c:93:18: int to
-enum-common.c:93:18: int enum ENUM_TYPE_A
+enum-common.c:96:45: warning: conversion of
+enum-common.c:96:45: int to
+enum-common.c:96:45: int enum ENUM_TYPE_A
+enum-common.c:97:45: warning: conversion of
+enum-common.c:97:45: int to
+enum-common.c:97:45: int enum ENUM_TYPE_A
+enum-common.c:94:22: warning: conversion of
+enum-common.c:94:22: int to
+enum-common.c:94:22: int enum ENUM_TYPE_A
+enum-common.c:99:17: warning: conversion of
+enum-common.c:99:17: int to
+enum-common.c:99:17: int enum ENUM_TYPE_A
+enum-common.c:100:17: warning: conversion of
+enum-common.c:100:17: int to
+enum-common.c:100:17: int enum ENUM_TYPE_B
+enum-common.c:101:25: warning: conversion of
+enum-common.c:101:25: int to
+enum-common.c:101:25: int enum <noident>
+enum-common.c:102:25: warning: conversion of
+enum-common.c:102:25: int to
+enum-common.c:102:25: int enum <noident>
+enum-common.c:103:18: warning: conversion of
+enum-common.c:103:18: int to
+enum-common.c:103:18: int enum ENUM_TYPE_A
+enum-common.c:104:18: warning: conversion of
+enum-common.c:104:18: int to
+enum-common.c:104:18: int enum ENUM_TYPE_A
+enum-common.c:107:38: warning: conversion of
+enum-common.c:107:38: int to
+enum-common.c:107:38: int enum ENUM_TYPE_A
+enum-common.c:108:29: warning: conversion of
+enum-common.c:108:29: int to
+enum-common.c:108:29: int enum ENUM_TYPE_A
+enum-common.c:108:29: warning: conversion of
+enum-common.c:108:29: int to
+enum-common.c:108:29: int enum ENUM_TYPE_A
* check-error-end
*/
diff --git a/validation/enum-mismatch.c b/validation/enum-mismatch.c
index b1a4369..d8d34dc 100644
--- a/validation/enum-mismatch.c
+++ b/validation/enum-mismatch.c
@@ -5,44 +5,68 @@
* check-command: sparse -Wenum-mismatch -Wno-int-to-enum $file
*
* check-error-start
-enum-common.c:58:45: warning: mixing different enum types
-enum-common.c:58:45: int enum ENUM_TYPE_B versus
-enum-common.c:58:45: int enum ENUM_TYPE_A
-enum-common.c:59:45: warning: mixing different enum types
-enum-common.c:59:45: int enum ENUM_TYPE_B versus
-enum-common.c:59:45: int enum ENUM_TYPE_A
-enum-common.c:55:22: warning: mixing different enum types
-enum-common.c:55:22: int enum ENUM_TYPE_B versus
-enum-common.c:55:22: int enum ENUM_TYPE_A
-enum-common.c:56:22: warning: mixing different enum types
-enum-common.c:56:22: int enum <noident> versus
-enum-common.c:56:22: int enum ENUM_TYPE_A
-enum-common.c:65:45: warning: mixing different enum types
-enum-common.c:65:45: int enum <noident> versus
-enum-common.c:65:45: int enum ENUM_TYPE_A
-enum-common.c:66:45: warning: mixing different enum types
-enum-common.c:66:45: int enum <noident> versus
-enum-common.c:66:45: int enum ENUM_TYPE_A
-enum-common.c:63:22: warning: mixing different enum types
-enum-common.c:63:22: int enum ENUM_TYPE_A versus
-enum-common.c:63:22: int enum <noident>
-enum-common.c:70:17: warning: mixing different enum types
-enum-common.c:70:17: int enum ENUM_TYPE_B versus
-enum-common.c:70:17: int enum ENUM_TYPE_A
-enum-common.c:71:17: warning: mixing different enum types
-enum-common.c:71:17: int enum <noident> versus
-enum-common.c:71:17: int enum ENUM_TYPE_B
-enum-common.c:72:25: warning: mixing different enum types
-enum-common.c:72:25: int enum ENUM_TYPE_A versus
-enum-common.c:72:25: int enum <noident>
+enum-common.c:62:45: warning: mixing different enum types
+enum-common.c:62:45: int enum ENUM_TYPE_B versus
+enum-common.c:62:45: int enum ENUM_TYPE_A
+enum-common.c:63:45: warning: mixing different enum types
+enum-common.c:63:45: int enum ENUM_TYPE_B versus
+enum-common.c:63:45: int enum ENUM_TYPE_A
+enum-common.c:59:22: warning: mixing different enum types
+enum-common.c:59:22: int enum ENUM_TYPE_B versus
+enum-common.c:59:22: int enum ENUM_TYPE_A
+enum-common.c:60:22: warning: mixing different enum types
+enum-common.c:60:22: int enum <noident> versus
+enum-common.c:60:22: int enum ENUM_TYPE_A
+enum-common.c:69:45: warning: mixing different enum types
+enum-common.c:69:45: int enum <noident> versus
+enum-common.c:69:45: int enum ENUM_TYPE_A
+enum-common.c:70:45: warning: mixing different enum types
+enum-common.c:70:45: int enum <noident> versus
+enum-common.c:70:45: int enum ENUM_TYPE_A
+enum-common.c:67:22: warning: mixing different enum types
+enum-common.c:67:22: int enum ENUM_TYPE_A versus
+enum-common.c:67:22: int enum <noident>
+enum-common.c:74:17: warning: mixing different enum types
+enum-common.c:74:17: int enum ENUM_TYPE_B versus
+enum-common.c:74:17: int enum ENUM_TYPE_A
enum-common.c:75:17: warning: mixing different enum types
-enum-common.c:75:17: int enum ENUM_TYPE_B versus
-enum-common.c:75:17: int enum ENUM_TYPE_A
-enum-common.c:76:17: warning: mixing different enum types
-enum-common.c:76:17: int enum <noident> versus
-enum-common.c:76:17: int enum ENUM_TYPE_B
-enum-common.c:77:25: warning: mixing different enum types
-enum-common.c:77:25: int enum ENUM_TYPE_A versus
-enum-common.c:77:25: int enum <noident>
+enum-common.c:75:17: int enum <noident> versus
+enum-common.c:75:17: int enum ENUM_TYPE_B
+enum-common.c:76:25: warning: mixing different enum types
+enum-common.c:76:25: int enum ENUM_TYPE_A versus
+enum-common.c:76:25: int enum <noident>
+enum-common.c:79:17: warning: mixing different enum types
+enum-common.c:79:17: int enum ENUM_TYPE_B versus
+enum-common.c:79:17: int enum ENUM_TYPE_A
+enum-common.c:80:17: warning: mixing different enum types
+enum-common.c:80:17: int enum <noident> versus
+enum-common.c:80:17: int enum ENUM_TYPE_B
+enum-common.c:81:25: warning: mixing different enum types
+enum-common.c:81:25: int enum ENUM_TYPE_A versus
+enum-common.c:81:25: int enum <noident>
+enum-common.c:84:29: warning: mixing different enum types
+enum-common.c:84:29: int enum ENUM_TYPE_A versus
+enum-common.c:84:29: int enum <noident>
+enum-common.c:84:39: warning: mixing different enum types
+enum-common.c:84:39: int enum ENUM_TYPE_B versus
+enum-common.c:84:39: int enum <noident>
+enum-common.c:85:43: warning: mixing different enum types
+enum-common.c:85:43: int enum ENUM_TYPE_B versus
+enum-common.c:85:43: int enum ENUM_TYPE_A
+enum-common.c:86:33: warning: mixing different enum types
+enum-common.c:86:33: int enum ENUM_TYPE_A versus
+enum-common.c:86:33: int enum ENUM_TYPE_B
+enum-common.c:87:29: warning: mixing different enum types
+enum-common.c:87:29: int enum ENUM_TYPE_A versus
+enum-common.c:87:29: int enum ENUM_TYPE_B
+enum-common.c:87:38: warning: mixing different enum types
+enum-common.c:87:38: int enum ENUM_TYPE_B versus
+enum-common.c:87:38: int enum ENUM_TYPE_A
+enum-common.c:88:29: warning: mixing different enum types
+enum-common.c:88:29: int enum ENUM_TYPE_B versus
+enum-common.c:88:29: int enum ENUM_TYPE_A
+enum-common.c:88:29: warning: mixing different enum types
+enum-common.c:88:29: int enum ENUM_TYPE_B versus
+enum-common.c:88:29: int enum ENUM_TYPE_A
* check-error-end
*/
diff --git a/validation/enum-to-int.c b/validation/enum-to-int.c
index 78a31e9..68c43fd 100644
--- a/validation/enum-to-int.c
+++ b/validation/enum-to-int.c
@@ -5,26 +5,26 @@
* check-command: sparse -Wenum-to-int -Wno-enum-mismatch -Wno-int-to-enum $file
*
* check-error-start
-enum-common.c:98:21: warning: conversion of
-enum-common.c:98:21: int enum ENUM_TYPE_A to
-enum-common.c:98:21: int
-enum-common.c:99:13: warning: conversion of
-enum-common.c:99:13: int enum ENUM_TYPE_A to
-enum-common.c:99:13: int
-enum-common.c:100:13: warning: conversion of
-enum-common.c:100:13: int enum ENUM_TYPE_B to
-enum-common.c:100:13: int
-enum-common.c:105:34: warning: conversion of
-enum-common.c:105:34: int enum ENUM_TYPE_A to
-enum-common.c:105:34: int
-enum-common.c:106:34: warning: conversion of
-enum-common.c:106:34: int enum ENUM_TYPE_B to
-enum-common.c:106:34: int
-enum-common.c:102:22: warning: conversion of
-enum-common.c:102:22: int enum ENUM_TYPE_A to
-enum-common.c:102:22: int
-enum-common.c:103:22: warning: conversion of
-enum-common.c:103:22: int enum ENUM_TYPE_B to
-enum-common.c:103:22: int
+enum-common.c:113:21: warning: conversion of
+enum-common.c:113:21: int enum ENUM_TYPE_A to
+enum-common.c:113:21: int
+enum-common.c:114:13: warning: conversion of
+enum-common.c:114:13: int enum ENUM_TYPE_A to
+enum-common.c:114:13: int
+enum-common.c:115:13: warning: conversion of
+enum-common.c:115:13: int enum ENUM_TYPE_B to
+enum-common.c:115:13: int
+enum-common.c:120:34: warning: conversion of
+enum-common.c:120:34: int enum ENUM_TYPE_A to
+enum-common.c:120:34: int
+enum-common.c:121:34: warning: conversion of
+enum-common.c:121:34: int enum ENUM_TYPE_B to
+enum-common.c:121:34: int
+enum-common.c:117:22: warning: conversion of
+enum-common.c:117:22: int enum ENUM_TYPE_A to
+enum-common.c:117:22: int
+enum-common.c:118:22: warning: conversion of
+enum-common.c:118:22: int enum ENUM_TYPE_B to
+enum-common.c:118:22: int
* check-error-end
*/
--
1.7.0.2
next prev parent reply other threads:[~2010-03-13 17:24 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-03-09 1:24 Sparse crash when mixing int and enum in ternary operator Pavel Roskin
2010-03-09 5:43 ` Christopher Li
2010-03-09 13:46 ` Kamil Dudka
2010-03-09 18:26 ` Pavel Roskin
2010-03-09 18:35 ` Pavel Roskin
2010-03-09 19:06 ` Kamil Dudka
2010-03-09 19:15 ` Josh Triplett
2010-03-09 20:11 ` Pavel Roskin
2010-03-09 20:29 ` Kamil Dudka
2010-03-09 23:30 ` Kamil Dudka
2010-03-10 1:09 ` Pavel Roskin
2010-03-10 16:05 ` Kamil Dudka
2010-03-10 20:27 ` Pavel Roskin
2010-03-10 20:44 ` Kamil Dudka
2010-03-10 21:03 ` Kamil Dudka
2010-03-10 21:56 ` Christopher Li
2010-03-13 17:22 ` Kamil Dudka [this message]
2010-03-21 15:27 ` Kamil Dudka
2010-03-24 10:07 ` Christopher Li
2010-03-24 10:51 ` Kamil Dudka
2010-03-27 9:16 ` Kamil Dudka
2010-03-27 9:29 ` Josh Triplett
2010-03-27 9:53 ` [PATCH] eliminate insane conversions from int to enum Kamil Dudka
2010-03-29 18:11 ` Christopher Li
2010-03-29 18:05 ` Sparse crash when mixing int and enum in ternary operator Christopher Li
2010-03-29 18:17 ` Kamil Dudka
2010-03-29 18:48 ` Christopher Li
2010-03-29 19:23 ` Kamil Dudka
2010-03-30 5:29 ` Pavel Roskin
2010-03-29 21:26 ` Josh Triplett
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=201003131822.49308.kdudka@redhat.com \
--to=kdudka@redhat.com \
--cc=josh@joshtriplett.org \
--cc=linux-sparse@vger.kernel.org \
--cc=proski@gnu.org \
--cc=sparse@chrisli.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).