May 2004 - PPL-devel - BUGSENG Mailman

[Fwd: Re: [Caml-list] Question about warning message.]
by Roberto Bagnara 05 May '04

05 May '04

-------- Original Message -------- Subject: Re: [Caml-list] Question about warning message. Date: Wed, 5 May 2004 18:47:15 +0200 From: Xavier Leroy <xavier.leroy(a)inria.fr> To: Claudio Trento <trento(a)di.unipi.it> CC: caml-list(a)inria.fr References: <Pine.LNX.4.44.0405051658360.1700-100000(a)nutella.di.unipi.it> > my g++ compiler show me this warning: > << warning: unused variable `int caml__dummy_n' >> > Here little lines of the function that generates this warning > .... > extern "C" > CAMLprim value > foo(value n) try { > CAMLparam1(n); (perhaps something lacks here?!?) > > I don't know where is the problem! Please, who can help me? There's no problem with your code, and the warning is harmless. It's just that the CAMLparam... macros used for GC root registration expand to complicated C code that happens to trigger the "unused variable" warning in gcc. David Brown suggest: > BTW, what about having a > (void) caml__dummy_##x; > at the end of the CAMLxparam... macros? This does shut up the warning, > at least on gcc. Thanks for the suggestion. That might do the job. I'll let the author of these macros (Damien Doligez) respond when he's back. - Xavier Leroy ------------------- To unsubscribe, mail caml-list-request(a)inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

Re: [Caml-list] Question about warning message.
by Roberto Bagnara 05 May '04

05 May '04

David Brown wrote: > On Wed, May 05, 2004 at 05:16:06PM +0200, Claudio Trento wrote: >>my g++ compiler show me this warning: >> >> << warning: unused variable `int caml__dummy_n' >> > > > It is part of the construct the headers use to implement the > CAMLparam... macros. Strictly it isn't necessary in C++, since you can > have declarations in the middle of a block, but then there would be > different constructs for C and C++. That would not be a problem: most header files that must work with both C and C++ do that. For example, one thing that the OCaml include files out to start and end with is #ifdef __cplusplus extern "C" { #endif ... #ifdef __cplusplus } /* extern "C" */ #endif Similar things based on the __cplusplus macro allows to obtain header files that are 100% standard compliant with respect to both C and C++. > BTW, what about having a > (void) caml__dummy_##x; > > at the end of the CAMLxparam... macros? This does shut up the warning, > at least on gcc. This would do the trick, even though it is a bit of a hack. What do the OCaml developers think? Are they willing to accept patches to solve these problems? Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/interfaces/Prolog/SWI Makefile.am swi_pl_c ...
by Roberto Bagnara 05 May '04

05 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-05 15:34:03 Modified files: interfaces/Prolog/SWI: Makefile.am Added files: interfaces/Prolog/SWI: swi_pl_check.pl Log message: Use also pl_check.pl to test the SWI-Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am sp_p ...
by Roberto Bagnara 05 May '04

05 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-05 15:31:52 Modified files: interfaces/Prolog/SICStus: Makefile.am Added files: interfaces/Prolog/SICStus: sp_pl_check.pl Log message: Use also pl_check.pl to test the SICStus-Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am ciao_pl ...
by Roberto Bagnara 05 May '04

05 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-05 15:28:44 Modified files: interfaces/Prolog/Ciao: Makefile.am Added files: interfaces/Prolog/Ciao: ciao_pl_check.pl Log message: Use also pl_check.pl to test the Ciao-Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 05 May '04

05 May '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-05-05 14:14:33 Modified files: htdocs/Documentation: ppl.bib Log message: Bagnara98SCP fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 05 May '04

05 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-05-05 10:14:26 Modified files: interfaces/Prolog: pl_check.pl Log message: Comment added explaining new code for exceptions tests Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 05 May '04

05 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-05-05 10:00:01 Modified files: interfaces/Prolog: pl_check.pl Log message: New tests for checking some possible exceptions in the C++ and Prolog interface added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 04 May '04

04 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-04 21:55:22 Modified files: src : Polyhedron.defs.hh Log message: Documentation for Polyhedron::expand_dimension() improved. New method void Polyhedron::void fold_dimensions(const Variables_Set& to_be_folded, Variable var) declared: documentation still to be written. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl doc/definitions.dox src/Polyhedron.defs.hh
by Roberto Bagnara 04 May '04

04 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-04 21:43:41 Modified files: doc : definitions.dox src : Polyhedron.defs.hh Log message: New declaration and documentation for void Polyhedron::expand_dimension(Variable var, dimension_type m). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0