473,320 Members | 2,029 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 473,320 software developers and data experts.

C99: variable declarations inside switch statements


Hello,

Unlike in pre-C99 versions of C where variables can only be defined at the
beginning of blocks, C99 allows variables to be defined in arbitrary
places inside blocks. However, gcc 3.2.2 seems to reveal that there
are still places where this is illegal. For instance, consider the
following code snippet.

int main(void) {
int i = 0;
switch (i) {
case 0:
char ch;
break;
}
}

Here the compiler complains with the error:

hello.c: In function `main':
hello.c:6: parse error before "char"

It seems like declaring a variable inside a switch statement is illegal.
Anyone know why this is the case. After all, the following compiles fine
with gcc 3.2.2:

int main(void) {
int i = 0;
switch (i) {
case 0: {
char ch;
break;
}
}
}

The only difference is the introduction of the block within the C
statement. Anyone know of similar cases where it is illegal to declare
variable in places where we would expect it to be legal in C99? Also,
can anyone explain the reason for the compiler complaint?

Thanks,

Neil

Nov 13 '05 #1
5 10099
On Mon, 27 Oct 2003 00:13:06 -0330, Neil Zanella wrote:
Unlike in pre-C99 versions of C where variables can only be defined at the
beginning of blocks, C99 allows variables to be defined in arbitrary
places inside blocks. However, gcc 3.2.2 seems to reveal that there
are still places where this is illegal. For instance, consider the
following code snippet.
You can't count on conformance of current versions of GCC
to the C99 standard. With that out of the way I'll continue.
int main(void) {
int i = 0;
switch (i) {
case 0:
char ch;
break;
}
}

Here the compiler complains with the error:

hello.c: In function `main':
hello.c:6: parse error before "char"

can anyone explain the reason for the compiler complaint?


The answer is in the C99 grammar. Declarations can appear at
any place within a block because of these productions:

A.2.3 Statements

(6.8.2) compound-statement: { block-item-list? }
(6.8.2) block-item-list: block-item
block-item-list block-item
(6.8.2) block-item: declaration
statement

But you can't put a declaration after a case construct because
of these productions:

A.2.3 Statements

(6.8) statement: labeled-statement
(6.8.1) labeled-statement: case constant-expression : statement

IOW, only a statement can follow a case.

-Sheldon
Nov 13 '05 #2
In article
<Pi*************************************@garfield. cs.mun.ca>,
Neil Zanella <nz******@cs.mun.ca> wrote:
Hello,

Unlike in pre-C99 versions of C where variables can only be defined at the
beginning of blocks, C99 allows variables to be defined in arbitrary
places inside blocks. However, gcc 3.2.2 seems to reveal that there
are still places where this is illegal. For instance, consider the
following code snippet.

int main(void) {
int i = 0;
switch (i) {
case 0:
char ch;
break;
}
}

Here the compiler complains with the error:

hello.c: In function `main':
hello.c:6: parse error before "char"

It seems like declaring a variable inside a switch statement is illegal.
Anyone know why this is the case. After all, the following compiles fine
with gcc 3.2.2:


No, declaring a variable inside a switch statement is not illegal.
However, the syntax is slightly different then you think it is: When you
write

switch (i) {
<body of switch statement>
}

the body of the switch statement can contain the following in any order:

Unlabeled statements
Labeled statements
Declarations

case 0: char ch;

would be a labeled declaration, and they are not allowed. Write

case 0: ;
char ch;
break;

instead.
Nov 13 '05 #3
Hello,

Quite interesting. I wonder whether adding a rule to the C99 grammar for
accepting declarations following labeled statements would cause the
resulting grammar to be ambiguous (I doubt it), or whether there
would be some shift/reduce, reduce/shift, reduce/reduce conflicts
of some sort (more likely). How would such conflicts arise in
such a situation?

Thanks,

Neil

Sheldon Simms <sh**********@yahoo.com> wrote:
The answer is in the C99 grammar. Declarations can appear at
any place within a block because of these productions:

A.2.3 Statements

(6.8.2) compound-statement: { block-item-list? }
(6.8.2) block-item-list: block-item
block-item-list block-item
(6.8.2) block-item: declaration
statement

But you can't put a declaration after a case construct because
of these productions:

A.2.3 Statements

(6.8) statement: labeled-statement
(6.8.1) labeled-statement: case constant-expression : statement

IOW, only a statement can follow a case.

-Sheldon

On Mon, 27 Oct 2003 00:13:06 -0330, Neil Zanella wrote:
int main(void) {
int i = 0;
switch (i) {
case 0:
char ch;
break;
}
}

Nov 13 '05 #4

top-posting corrected

On Tue, 28 Oct 2003 03:00:59 -0800, Neil Zanella wrote:

Sheldon Simms <sh**********@yahoo.com> wrote:
On Mon, 27 Oct 2003 00:13:06 -0330, Neil Zanella wrote:
> int main(void) {
> int i = 0;
> switch (i) {
> case 0:
> char ch;
> break;
> }
> }


The answer is in the C99 grammar. Declarations can appear at
any place within a block because of these productions:

A.2.3 Statements

(6.8.2) compound-statement: { block-item-list? }
(6.8.2) block-item-list: block-item
block-item-list block-item
(6.8.2) block-item: declaration
statement

But you can't put a declaration after a case construct because
of these productions:

A.2.3 Statements

(6.8) statement: labeled-statement
(6.8.1) labeled-statement: case constant-expression : statement

IOW, only a statement can follow a case.

-Sheldon

Quite interesting. I wonder whether adding a rule to the C99 grammar for
accepting declarations following labeled statements would cause the
resulting grammar to be ambiguous (I doubt it), or whether there
would be some shift/reduce, reduce/shift, reduce/reduce conflicts
of some sort (more likely). How would such conflicts arise in
such a situation?


I don't know if the C standards committee worries too much about
those kinds of problems when writing the grammar. I wouldn't in any
case. The grammer in the standard isn't supposed to be directly
usable in bison.

FWIW C++ *does* allow declarations after case and other labels with
these productions:

ISO/IEC 14882:1998(E)
A.5
statement: labeled-statement
declaration-statement

labeled-statement: case constant-expression : statement

declaration-statement : block-declaration

where block-declaration is the kind of declaration that can occur
inside a block (i.e. - no function definitions, template declaration,
etc.)

-Sheldon

Nov 13 '05 #5
In article <b6**************************@posting.google.com >,
nz******@cs.mun.ca (Neil Zanella) wrote:
Hello,

Quite interesting. I wonder whether adding a rule to the C99 grammar for
accepting declarations following labeled statements would cause the
resulting grammar to be ambiguous (I doubt it), or whether there
would be some shift/reduce, reduce/shift, reduce/reduce conflicts
of some sort (more likely). How would such conflicts arise in
such a situation?


Unlikely that this could introduce any conflicts.

We assume that there is no conflict between unlabeled statement and
declaration (otherwise C has a big problem anyway). Labels are quite
trivial to recognise and to distinguish from anything else. Once the
label is recognised, you are left again with the task of distinguishing
between unlabeled statement and declaration.
Nov 13 '05 #6

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

83
by: Alexander Zatvornitskiy | last post by:
Hello All! I'am novice in python, and I find one very bad thing (from my point of view) in language. There is no keyword or syntax to declare variable, like 'var' in Pascal, or special syntax in...
2
by: Thomas Matthews | last post by:
Hi, I'm getting linking errors when I declare a variable in the global scope, but not inside a function. The declarations are the same (only the names have been changed...). class Book {...
134
by: James A. Donald | last post by:
I am contemplating getting into Python, which is used by engineers I admire - google and Bram Cohen, but was horrified to read "no variable or argument declarations are necessary." Surely that...
193
by: Michael B. | last post by:
I was just thinking about this, specifically wondering if there's any features that the C specification currently lacks, and which may be included in some future standardization. Of course, I...
8
by: Pedro Pinto | last post by:
When compiling my program i got this error: Error: 'for' loop initial declaration used outside c99 mode What is it and how can i solve it? Thanks in advance! Regards
3
by: albert.neu | last post by:
Hello! What is the difference between "library parts" of C99 and "language parts" of C99. see...
4
by: jaime | last post by:
Hi all. Apologies, since this is more a tool question, than strictly a language question, but hey, it seemed like an appropriate place to ask... I'm a c newbie (and have been now for about 6...
14
by: subramanian100in | last post by:
Consider the following program: #include <iostream> using namespace std; int main() { int i;
80
by: jacob navia | last post by:
Several people in this group argue that standard C is not portable since there are no compilers for it, etc. I propose this program in Standard C, that I have compiled in several OSes to test if...
0
by: ryjfgjl | last post by:
ExcelToDatabase: batch import excel into database automatically...
1
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 6 Mar 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). In this month's session, we are pleased to welcome back...
0
by: Vimpel783 | last post by:
Hello! Guys, I found this code on the Internet, but I need to modify it a little. It works well, the problem is this: Data is sent from only one cell, in this case B5, but it is necessary that data...
0
by: jfyes | last post by:
As a hardware engineer, after seeing that CEIWEI recently released a new tool for Modbus RTU Over TCP/UDP filtering and monitoring, I actively went to its official website to take a look. It turned...
0
by: ArrayDB | last post by:
The error message I've encountered is; ERROR:root:Error generating model response: exception: access violation writing 0x0000000000005140, which seems to be indicative of an access violation...
0
by: CloudSolutions | last post by:
Introduction: For many beginners and individual users, requiring a credit card and email registration may pose a barrier when starting to use cloud servers. However, some cloud server providers now...
0
by: Defcon1945 | last post by:
I'm trying to learn Python using Pycharm but import shutil doesn't work
1
by: Shællîpôpï 09 | last post by:
If u are using a keypad phone, how do u turn on JavaScript, to access features like WhatsApp, Facebook, Instagram....
0
by: Faith0G | last post by:
I am starting a new it consulting business and it's been a while since I setup a new website. Is wordpress still the best web based software for hosting a 5 page website? The webpages will be...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.