I realize that compile is only an example and you are probably familiar
with the problem, but just in case... I was playing around with compile
and here's what got.
------ In Linux (sparse-0.4.1, gcc 4.3.3):
$ ./compile -
char * s = "abc";
-:1:6: warning: symbol 's' was not declared. Should it be static?
.file "-"
=
Segmentation fault
------ In CygWin (sparse-0.4.1, gcc 3.4.4):
$ ./compile -
char * s = "abc";
-:1:6: warning: symbol 's' was not declared. Should it be static?
.file "-"
=
7 [main] compile 1676 _cygtls::handle_exceptions: Error while
dumping state (probably corrupted stack)
Segmentation fault (core dumped)
------
Just out of curiosity, is sparse stable enough in general to be used as a
full-fledged front-end for a C compiler?
Best,
Sandy
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html