Recent changes to bugs

local variables with register storage class fail to parse

2006-01-11T08:56:23Z

This fails to parse:

int main()
{
register char *p;
register char **mvp;
char **pvp;
}

Error:

Invalid use of local storage type:
register char *p;
^

ll suffix in integer constants

2005-10-19T03:46:32Z

ctool fails to tokenize integers with "ll" token, e.g.,
0LL.

register keyword in function argument list

2005-10-19T03:41:07Z

ctool fails to parse function declarations with the
register keyword in the argument list, e.g.:

void f(register int i)
{
}

ctool compiled with bison-1.875 (latest) fails to parse

2004-12-22T18:07:39Z

Hi
I use ctool to build a regression verification tool base on
Daniel Kroening's CBMC.
When I compile ctool (on linux) with bison-1.875
it fails it generates parse errors no matter what
C code I try to parse with ctool (see errors below).
When I compile ctool with bison-1.25 on Linux
or SunOS everything goes OK.

Did anybody else tried to use compile ctool with bison-
1.875 and use it ?
Does anybody know what in (the structure) of
ctool/src/gram.y may cause the new version of bison to
generate bad parsers ?

Currently I work totally OK with bison-1.25
but I am not sure we want ctool to stay confined
to old version of bison.

Thanks
benny

The errors I got:

../rv_structs.h:25: Error (syntax error) before 'char'
char* cond;
^
../rv_structs.h:27: Warning - old-style declaration or
incorrect type:
} DCP;
^
../rv_structs.h:29: Error (syntax error) before 'Identifier'
CHANNEL RV_DEF_CHANNEL = { 4 };
^
../rv_structs.h:29: Warning - old-style declaration or
incorrect type:
CHANNEL RV_DEF_CHANNEL = { 4 };
^
tst1.rv:4: Unknown parameter: SIDE0_CHECK_POINTS:
SIDE0_CHECK_POINTS() {
^
tst1.rv:4: Error (syntax error) before 'Identifier'
SIDE0_CHECK_POINTS() {
^

'make depend', *.l can't find std libs. Also STDC prob.

2004-07-15T18:00:56Z

I'm compiling ctool on cygwin over WinXP Pro, using gcc
version 3.3.1. With versions of flex 2.5.4, and also
2.5.31,
I am getting the same following errors (and I don't
know of any flex versions I *don't* get the errors with):

1)First problem:
After doing ./config, 'make depend' spits out lots of
warnings, all about std lib files (and I have all the
'using namespace std' in the *.cpp/*.h/*.l/*.y files
after they include std lib files).
Warnings look like:
makedepend: warning: lexer.l (reading context.h, line
36): cannot find include file "cstdio"
not in ./cstdio
not in /usr/local/lib/gcc-include/cstdio
not in /usr/include/cstdio
not in /usr/include/w32api/cstdio
not in
/usr/lib/gcc-lib/i686-pc-cygwin/3.3.1/include/cstdio

My PATH environment includes the path to the 'missing'
files:
/usr/include/c++/3.3.1/

And, if I leave flex out of the compilation process,
there are no warning messages about missing std lib
files (even though many other files in the project
include them).

2) 2nd problem:
After compiling (the compilation completes, despite the
warning messages about std library files), all the
tests in the regression directory fail. The output
looks as on the bottom of this post (only more of it).

Thank you in advance, for any fixes!
Sincerely,
Lori
(handle is debian_usr at sourceforge )

Test message output:
-----------------------------------------
Test Suite output from suite accept0

Test started at: Thu Jul 15 13:50:40 PST 2004

Testing the 8q program...<command line>:10:1: warning:
"__STDC__" redefined
run/8q.c:44: Error (syntax error) before 'Identifier'
typedef __builtin_va_list __gnuc_va_list;
^
assertion "err_top_level || ! IsTypedefDeclCtxt()"
failed: file "context.cpp", line 321
Signal 6
done.
Testing the bug1 program...<command line>:10:1:
warning: "__STDC__" redefined
done.
Testing the bug2 program...<command line>:10:1:
warning: "__STDC__" redefined
done.
Testing the bug3 program...<command line>:10:1:
warning: "__STDC__" redefined
done.
Testing the bug4 program...<command line>:10:1:
warning: "__STDC__" redefined
done.
Testing the bug5 program...<command line>:10:1:
warning: "__STDC__" redefined
done.
Testing the bug7 program...<command line>:10:1:
warning: "__STDC__" redefined
run/bug7.c:60: Error (syntax error) before '#line'
# 61 "run/bug7.c"
^
run/bug7.c:66: Warning - old-style declaration or
incorrect type:
} myBar;

ctool 2.11 fails to compile on FreeBSD 4.7-R

2003-04-12T20:21:59Z

I have not been able to compile ctool under FreeBSD 4.7-RELEASE with gcc 2.95.4. See below.

[njyoder@topcat ~/work/ctool/ctool-2.11/src]$ uname -a
FreeBSD topcat.mine.nu 4.7-RELEASE-p6 FreeBSD 4.7-RELEASE-p6 #21: Sat Mar 1 06:07:58 EST 2003 njyoder@topcat.mine.nu:/usr/obj/usr/src/sys/TOPCAT i386
[njyoder@topcat ~/work/ctool/ctool-2.11/src]$ make
c++ -c -g -Wall -I. -DUSE_GCC_4_CPP -DDEBUG -DLIB_CPP=\&quot;/usr/bin/cpp\&quot; ctdemo.cpp
In file included from context.h:40,
from parseenv.h:42,
from ctool.h:46,
from ctdemo.cpp:41:
decl.h: In method `class Type * Type::extend(Type *)':
decl.h:216: warning: control reaches end of non-void function `Type::extend(Type *)'
decl.h: In method `class Type * BaseType::extend(Type *)':
decl.h:263: warning: control reaches end of non-void function `BaseType::extend(Type *)'
In file included from ctool.h:51,
from ctdemo.cpp:41:
express.h: At top level:
express.h:226: syntax error before `val'
express.h:232: syntax error before `;'
express.h:233: base `Constant' with only non-default constructor
express.h:233: in class without a constructor
*** Error code 1

Stop in /home/njyoder/work/ctool/ctool-2.11/src.

duplicate variable declarations

2003-01-14T22:30:13Z

ANSI-C allows duplicate variable declarations, but ctool
complains about this, e.g.:

extern int test;
int test;

/tmp/aa.c:2: Symbol name duplicated: test:
int test;
^

Compilation error on G++ 3.0.1

2002-09-16T16:53:33Z

I tried to compile ctool 2.11 as is but I had to fix
the following.

decl.cpp:131
- cout needs to be std::cout

lexer.l:580
- string needs to be std::string

regards,
-Flavio Lerda