bug#5388: 23.1; syntactic analysis incorrect

bug#5388: 23.1; syntactic analysis incorrect

[Odekirk, Shawn]

[-- Attachment #1: Type: text/plain, Size: 4115 bytes --]

From:  <shawn.odekirk@fkilogistex.com>
To: bug-gnu-emacs@gnu.org
Subject: 23.1; syntactic analysis incorrect
--text follows this line--
A switch statement with two case labels, at least one of which is a
character constant, causes the syntactic analysis of the first statement
in the case block to be evaluated as statement-cont instead of
statement-case-intro.
I believe the line 'x = 1;' should be evaluated as statement-case-into,
but it is being evaluated as statement-cont.
 
switch (x)
  {
  case 'a':
  case 'b':
    x = 1;
  y = 2;
  break;
  }
 
 
 
In GNU Emacs 23.1.1 (x86_64-unknown-linux-gnu, GTK+ Version 2.16.5)
 of 2009-07-31 on bitzer.hoetzel.info
Windowing system distributor `The X.Org Foundation', version
11.0.10703901
configured using `configure  '--prefix=/usr' '--sysconfdir=/etc'
'--libexecdir=/usr/lib' '--localstatedir=/var' '--mandir=/usr/share/man'
'--without-sound' '-with-x-toolkit=gtk' 'CFLAGS=-march=x86-64
-mtune=generic -O2 -pipe''
 
Important settings:
  value of $LC_ALL: nil
  value of $LC_COLLATE: C
  value of $LC_CTYPE: nil
  value of $LC_MESSAGES: nil
  value of $LC_MONETARY: nil
  value of $LC_NUMERIC: nil
  value of $LC_TIME: nil
  value of $LANG: en_US.UTF-8
  value of $XMODIFIERS: nil
  locale-coding-system: utf-8-unix
  default-enable-multibyte-characters: t
 
Major mode: C/l
 
Minor modes in effect:
  tooltip-mode: t
  tool-bar-mode: t
  mouse-wheel-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  global-auto-composition-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  line-number-mode: t
  transient-mark-mode: t
  abbrev-mode: t
 
Recent input:
C-x k <return> <up> <up> <up> <up> <down> <down> <down> 
<down> <down> <down> <down> s w i t c h SPC ( x ) <escape> 
x c - m o d e <return> <down> <down> <down> <return> 
{ <return> } <end> <up> <return> c a s e SPC ' a ' 
: <return> c a s e SPC ' b ' : <return> x SPC = SPC 
1 ; <return> y SPC = SPC 3 <backspace> 2 ; <return> 
b r e a k ; <down> <tab> <up> <tab> <escape> x s e 
t - v a r <tab> <return> c - e <tab> c <tab> <return> 
y <backspace> t <return> <tab> <up> <tab> <up> <tab> 
<up> <tab> <down> <tab> <down> <tab> <up> <tab> <up> 
<tab> <up> <up> <up> <up> <C-home> C-k C-k C-k C-k 
C-k C-k C-k <tab> <down> <tab> <down> <tab> <down> 
<tab> <down> <tab> <down> <tab> <down> <tab> <down> 
<tab> <down> <down> <down> <return> <escape> x r e 
p o r <tab> <return>
 
Recent messages:
syntax: ((statement-cont 221)), indent: 4
syntax: ((case-label 205)), indent: 2
Mark set
syntax: ((topmost-intro 1)), indent: 0
syntax: ((substatement-open 1)), indent: 2
syntax: ((case-label 14)), indent: 2 [2 times]
syntax: ((statement-cont 30)), indent: 4
syntax: ((statement 30)), indent: 2
syntax: ((statement 53)), indent: 2
syntax: ((block-close 14)), indent: 2

 

 

 

________________________________

Shawn Odekirk
Senior Software Engineer

Intelligrated
4612 Navistar Drive
Frederick, MD 21703

Email: shawn.odekirk <mailto:shawn.odekirk@intelligrated.com>
@intelligrated.com
Web: www.intelligrated.com <http://www.intelligrated.com/>  

Phone: 240.629.1540
Cell: 240.647.8457
Fax: 240.629.1460

________________________________

 

CONFIDENTIALITY NOTICE

This e-mail transmission, and any documents, files, or previous e-mail
messages attached to it, may contain confidential information, trade
secret information, or information that is legally privileged. If you
are not the intended recipient, or a person responsible for delivering
it to the intended recipient, you are hereby notified that any
disclosure, copying, distribution, or use of any of the information
contained in or attached to this message is strictly prohibited. If you
have received this transmission in error, please immediately notify the
sender by reply e-mail, and destroy the original transmission and its'
attachments.

This E-mail is the property of Intelligrated.

 

 

[-- Attachment #2: Type: text/html, Size: 18731 bytes --]

bug#5388: 23.1; syntactic analysis incorrect

[Chong Yidong]

> A switch statement with two case labels, at least one of which is a
> character constant, causes the syntactic analysis of the first
> statement in the case block to be evaluated as statement-cont instead
> of statement-case-intro.
>
> I believe the line 'x = 1;' should be evaluated as
> statement-case-into, but it is being evaluated as statement-cont.
>
> switch (x)
>   {
>   case 'a':
>   case 'b':
>     x = 1;
>   y = 2;
>   break;
>   }

Thanks for the bug report, but it does not contain enough information
for us to do anything.  I assume you are referring to C mode.  However,
if I paste your snippet into a fresh foo.c and call M-x
c-syntactic-information-on-region, I get the following:

switch (x)			/* ((topmost-intro 1)) */
  {				/* ((substatement-open 1)) */
  case 'a':			/* ((case-label 42)) */
  case 'b':			/* ((case-label 42)) */
    x = 1;			/* ((statement-case-intro 117)) */
  y = 2;			/* ((statement 157)) */
  break;			/* ((statement 203)) */
  }				/* ((block-close 42)) */

As you can see, the snippet is correctly parsed.

Please provide an exact, step-by-step recipe for reproducing this bug,
starting with `emacs -Q'.

bug#5388: 23.1; syntactic analysis incorrect

[Glenn Morris]

This bug is being closed because it could not be reproduced and there
was no response to a request for more information.
If you reply with the requested information it can be reopened if needed.

You can view the whole report at http://debbugs.gnu.org/BUGNUMBER


Chong Yidong wrote:

> Thanks for the bug report, but it does not contain enough information
> for us to do anything.  I assume you are referring to C mode.  However,
> if I paste your snippet into a fresh foo.c and call M-x
> c-syntactic-information-on-region, I get the following:
>
> switch (x)			/* ((topmost-intro 1)) */
>   {				/* ((substatement-open 1)) */
>   case 'a':			/* ((case-label 42)) */
>   case 'b':			/* ((case-label 42)) */
>     x = 1;			/* ((statement-case-intro 117)) */
>   y = 2;			/* ((statement 157)) */
>   break;			/* ((statement 203)) */
>   }				/* ((block-close 42)) */
>
> As you can see, the snippet is correctly parsed.
>
> Please provide an exact, step-by-step recipe for reproducing this bug,
> starting with `emacs -Q'.