[C PATCH] Better location for check_case_value

[Marek Polacek]

Bootstrapped/regtested on x86_64-linux, applying to trunk.

2014-08-02  Marek Polacek  <pola...@redhat.com>

        * c-common.c (check_case_value):  Add location_t parameter.  Use it.
        (c_add_case_label): Pass loc to check_case_value.

        * gcc.dg/case-bogus-1.c: New test.

diff --git gcc/c-family/c-common.c gcc/c-family/c-common.c
index b2a053e..acc9a20 100644
--- gcc/c-family/c-common.c
+++ gcc/c-family/c-common.c
@@ -300,7 +300,7 @@ const struct fname_var_t fname_vars[] =
 struct visibility_flags visibility_options;
 
 static tree c_fully_fold_internal (tree expr, bool, bool *, bool *);
-static tree check_case_value (tree);
+static tree check_case_value (location_t, tree);
 static bool check_case_bounds (location_t, tree, tree, tree *, tree *);
 
 static tree handle_packed_attribute (tree *, tree, tree, int, bool *);
@@ -3349,7 +3349,7 @@ verify_sequence_points (tree expr)
 /* Validate the expression after `case' and apply default promotions.  */
 
 static tree
-check_case_value (tree value)
+check_case_value (location_t loc, tree value)
 {
   if (value == NULL_TREE)
     return value;
@@ -3359,7 +3359,7 @@ check_case_value (tree value)
     value = perform_integral_promotions (value);
   else if (value != error_mark_node)
     {
-      error ("case label does not reduce to an integer constant");
+      error_at (loc, "case label does not reduce to an integer constant");
       value = error_mark_node;
     }
 
@@ -5993,14 +5993,14 @@ c_add_case_label (location_t loc, splay_tree cases, 
tree cond, tree orig_type,
   type = TREE_TYPE (cond);
   if (low_value)
     {
-      low_value = check_case_value (low_value);
+      low_value = check_case_value (loc, low_value);
       low_value = convert_and_check (loc, type, low_value);
       if (low_value == error_mark_node)
        goto error_out;
     }
   if (high_value)
     {
-      high_value = check_case_value (high_value);
+      high_value = check_case_value (loc, high_value);
       high_value = convert_and_check (loc, type, high_value);
       if (high_value == error_mark_node)
        goto error_out;
diff --git gcc/testsuite/gcc.dg/case-bogus-1.c 
gcc/testsuite/gcc.dg/case-bogus-1.c
index e69de29..548312e 100644
--- gcc/testsuite/gcc.dg/case-bogus-1.c
+++ gcc/testsuite/gcc.dg/case-bogus-1.c
@@ -0,0 +1,8 @@
+/* { dg-do compile } */
+
+void
+foo (int n)
+{
+  switch (n)
+    case 0: case 3: case 0.2: case 5:; /* { dg-error "21:case label does not 
reduce to an integer constant" } */
+}

        Marek