September 2009 - PPL-devel - BUGSENG Mailman

PPL fails to build on SGI - with config.log.bz2
by Tovrea, George W (US SSA) 01 Sep '09

01 Sep '09

Knowing how you love to see the config.log, I've attached it. -----Original Message----- From: Tovrea, George W (US SSA) Sent: Monday, August 31, 2009 11:08 AM To: ppl-devel(a)cs.unipr.it Subject: PPL fails to build on SGI System: uname -m = IP35 uname -r = 6.5 uname -s = IRIX64 uname -v = 07010238 /usr/bin/uname -p = mips /bin/uname -X = unknown Error: /home/users/tovrea/local/sgi6/bin/g++ -DHAVE_CONFIG_H -I. -I/home/users/tovrea/GCC_SGI2/ppl-0.10.2/src -I.. -I.. -I/home/users/tovrea/GCC_SGI2/ppl-0.10.2/src -I/home/users/tovrea/local/sgi6/include -g -O2 -frounding-math -W -Wall -MT ppl-config.o -MD -MP -MF .deps/ppl-config.Tpo -c -o ppl-config.o ppl-config.cc ppl-config.cc:131: error: 'no_argument' was not declared in this scope ppl-config.cc:132: error: 'required_argument' was not declared in this scope ppl-config.cc:133: error: 'required_argument' was not declared in this scope ppl-config.cc:134: error: 'no_argument' was not declared in this scope ppl-config.cc:135: error: 'no_argument' was not declared in this scope ppl-config.cc:136: error: 'optional_argument' was not declared in this scope ppl-config.cc:137: error: 'optional_argument' was not declared in this scope ppl-config.cc:138: error: 'no_argument' was not declared in this scope ppl-config.cc:139: error: 'no_argument' was not declared in this scope ppl-config.cc:140: error: 'no_argument' was not declared in this scope ppl-config.cc:141: error: 'no_argument' was not declared in this scope ppl-config.cc:142: error: 'no_argument' was not declared in this scope ppl-config.cc:143: error: 'no_argument' was not declared in this scope ppl-config.cc:144: error: 'no_argument' was not declared in this scope ppl-config.cc:145: error: 'no_argument' was not declared in this scope ppl-config.cc:146: error: 'no_argument' was not declared in this scope ppl-config.cc:147: error: 'no_argument' was not declared in this scope ppl-config.cc:148: error: 'no_argument' was not declared in this scope ppl-config.cc:149: error: 'no_argument' was not declared in this scope ppl-config.cc:150: error: 'no_argument' was not declared in this scope ppl-config.cc:151: error: 'no_argument' was not declared in this scope ppl-config.cc:152: error: 'no_argument' was not declared in this scope ppl-config.cc:153: error: 'no_argument' was not declared in this scope ppl-config.cc:154: error: 'no_argument' was not declared in this scope ppl-config.cc:155: error: 'no_argument' was not declared in this scope ppl-config.cc:156: error: 'no_argument' was not declared in this scope ppl-config.cc:158: error: elements of array '<unnamed>::option <unnamed>::long_options []' have incomplete type ppl-config.cc:158: error: storage size of '<unnamed>::long_options' isn't known ppl-config.cc: In function 'void<unnamed>::process_options(int, char**)': ppl-config.cc:254: error: 'getopt_long' was not declared in this scope ma Bill Tovrea BAE Systems 16550 West Bernardo Drive San Diego, CA 92127 Telephone: (858) 592-5292 Pager: (888) 971-4964 E-mail: George.Tovrea(a)baesystems.com

2 2

[GIT] ppl/ppl(floating_point): Fixed an error in method linearize.
by Fabio Bossi 01 Sep '09

01 Sep '09

Module: ppl/ppl Branch: floating_point Commit: db14c2f6022e81980bfe45feb89876a615e1b7a0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db14c2f6022e… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 11:29:14 2009 +0200 Fixed an error in method linearize. --- src/Constant_Floating_Point_Expression.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Constant_Floating_Point_Expression.inlines.hh b/src/Constant_Floating_Point_Expression.inlines.hh index 6073c59..d471190 100644 --- a/src/Constant_Floating_Point_Expression.inlines.hh +++ b/src/Constant_Floating_Point_Expression.inlines.hh @@ -50,7 +50,7 @@ const FP_Interval_Abstract_Store& store) const { FP_Interval_Type result_interval(l_bound); FP_Interval_Type result_upper_bound(u_bound); result_interval.join_assign(result_upper_bound); - FP_Linear_Form result = FP_Interval_Linear_Form(result_interval); + FP_Linear_Form result = FP_Linear_Form(result_interval); return result; }

1 0

[GIT] ppl/ppl(floating_point): Added a first version of class Variable_Floating_Point_Expression.
by Fabio Bossi 01 Sep '09

01 Sep '09

Module: ppl/ppl Branch: floating_point Commit: bc1a412d5547c459473918f13c22328758bf5e84 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc1a412d5547… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 10:40:11 2009 +0200 Added a first version of class Variable_Floating_Point_Expression. --- src/Makefile.am | 5 +- src/Variable_Floating_Point_Expression.defs.hh | 71 +++++++++++++++++++++ src/Variable_Floating_Point_Expression.inlines.hh | 53 +++++++++++++++ src/Variable_Floating_Point_Expression.types.hh | 22 +++++++ 4 files changed, 150 insertions(+), 1 deletions(-) diff --git a/src/Makefile.am b/src/Makefile.am index c49ff90..89c9d1e 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -346,7 +346,10 @@ Floating_Point_Expression.defs.hh \ Floating_Point_Expression.inlines.hh \ Constant_Floating_Point_Expression.types.hh \ Constant_Floating_Point_Expression.defs.hh \ -Constant_Floating_Point_Expression.inlines.hh +Constant_Floating_Point_Expression.inlines.hh \ +Variable_Floating_Point_Expression.types.hh \ +Variable_Floating_Point_Expression.defs.hh \ +Variable_Floating_Point_Expression.inlines.hh #Any_Pointset.types.hh \ #Any_Pointset.defs.hh \ #Any_Pointset.inlines.hh \ diff --git a/src/Variable_Floating_Point_Expression.defs.hh b/src/Variable_Floating_Point_Expression.defs.hh new file mode 100644 index 0000000..30819e8 --- /dev/null +++ b/src/Variable_Floating_Point_Expression.defs.hh @@ -0,0 +1,71 @@ +/* Declarations for the Variable_Floating_Point_Expression class and + its constituents. + Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ . */ + +#ifndef PPL_Variable_Floating_Point_Expression_defs_hh +#define PPL_Variable_Floating_Point_Expression_defs_hh 1 + +#include "Floating_Point_Expression.defs.hh" +#include "globals.defs.hh" +#include "Variable_Floating_Point_Expression.types.hh" +#include <map> + +namespace Parma_Polyhedra_Library { + +template <typename FP_Interval_Type, typename FP_Format> +class Variable_Floating_Point_Expression +: public virtual Floating_Point_Expression<FP_Interval_Type, FP_Format> { + +public: + + typedef typename + Floating_Point_Expression<FP_Interval_Type, FP_Format>:: + FP_Linear_Form FP_Linear_Form; + + typedef typename + Floating_Point_Expression<FP_Interval_Type, FP_Format>:: + FP_Interval_Abstract_Store FP_Interval_Abstract_Store; + + typedef typename + Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type + boundary_type; + + typedef typename + Floating_Point_Expression<FP_Interval_Type, FP_Format>::info_type info_type; + + Variable_Floating_Point_Expression(const dimension_type v_index); + + ~Variable_Floating_Point_Expression(); + + FP_Linear_Form linearize(const FP_Interval_Abstract_Store& store) const; + +private: + + dimension_type variable_index; + +}; // class Variable_Floating_Point_Expression + +} // namespace Parma_Polyhedra_Library + +#include "Variable_Floating_Point_Expression.inlines.hh" + +#endif // !defined(PPL_Variable_Floating_Point_Expression_defs_hh) diff --git a/src/Variable_Floating_Point_Expression.inlines.hh b/src/Variable_Floating_Point_Expression.inlines.hh new file mode 100644 index 0000000..f2a9a90 --- /dev/null +++ b/src/Variable_Floating_Point_Expression.inlines.hh @@ -0,0 +1,53 @@ +/* Variable_Floating_Point_Expression class implementation: inline functions. + Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ . */ + +#ifndef PPL_Variable_Floating_Point_Expression_inlines_hh +#define PPL_Variable_Floating_Point_Expression_inlines_hh 1 + +#include "globals.defs.hh" + +namespace Parma_Polyhedra_Library { + +template <typename FP_Interval_Type, typename FP_Format> +inline +Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: +Variable_Floating_Point_Expression(const dimension_type v_index) { + variable_index = v_index; +} + +template <typename FP_Interval_Type, typename FP_Format> +inline +Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: +~Variable_Floating_Point_Expression() {} + +template <typename FP_Interval_Type, typename FP_Format> +inline typename Variable_Floating_Point_Expression<FP_Interval_Type, + FP_Format>::FP_Linear_Form +Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format>::linearize( +const FP_Interval_Abstract_Store& store) const { + FP_Linear_Form result = FP_Linear_Form(Variable(variable_index)); + return result; +} + +} // namespace Parma_Polyhedra_Library + +#endif // !defined(PPL_Variable_Floating_Point_Expression_inlines_hh) diff --git a/src/Variable_Floating_Point_Expression.types.hh b/src/Variable_Floating_Point_Expression.types.hh new file mode 100644 index 0000000..ca6b373 --- /dev/null +++ b/src/Variable_Floating_Point_Expression.types.hh @@ -0,0 +1,22 @@ +/* Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is free software; as a special exception the author gives +unlimited permission to copy and/or distribute it, with or without +modifications, as long as this notice is preserved. + +This program is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY, to the extent permitted by law; without even the +implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR +PURPOSE. */ + +#ifndef PPL_Variable_Floating_Point_Expression_types_hh +#define PPL_Variable_Floating_Point_Expression_types_hh 1 + +namespace Parma_Polyhedra_Library { + +template <typename FP_Interval_Type, typename FP_Format> +class Variable_Floating_Point_Expression; + +} // namespace Parma_Polyhedra_Library + +#endif // !defined(PPL_Variable_Floating_Point_Expression_types_hh)

1 0

[GIT] ppl/ppl(floating_point): Corrected the interface of the two-argument constructor.
by Fabio Bossi 01 Sep '09

01 Sep '09

Module: ppl/ppl Branch: floating_point Commit: 59926c0b8460c887f7c2485c5560e9bb2c5986bf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59926c0b8460… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 10:01:25 2009 +0200 Corrected the interface of the two-argument constructor. --- src/Constant_Floating_Point_Expression.defs.hh | 4 ++-- src/Constant_Floating_Point_Expression.inlines.hh | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/Constant_Floating_Point_Expression.defs.hh b/src/Constant_Floating_Point_Expression.defs.hh index 74bb678..476b4bc 100644 --- a/src/Constant_Floating_Point_Expression.defs.hh +++ b/src/Constant_Floating_Point_Expression.defs.hh @@ -52,8 +52,8 @@ public: typedef typename Floating_Point_Expression<FP_Interval_Type, FP_Format>::info_type info_type; - Constant_Floating_Point_Expression(boundary_type lower_bound, - boundary_type upper_bound); + Constant_Floating_Point_Expression(const boundary_type lower_bound, + const boundary_type upper_bound); ~Constant_Floating_Point_Expression(); diff --git a/src/Constant_Floating_Point_Expression.inlines.hh b/src/Constant_Floating_Point_Expression.inlines.hh index 3ddbf40..6073c59 100644 --- a/src/Constant_Floating_Point_Expression.inlines.hh +++ b/src/Constant_Floating_Point_Expression.inlines.hh @@ -30,7 +30,8 @@ namespace Parma_Polyhedra_Library { template <typename FP_Interval_Type, typename FP_Format> inline Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: -Constant_Floating_Point_Expression(boundary_type lb, boundary_type ub) { +Constant_Floating_Point_Expression(const boundary_type lb, + const boundary_type ub) { l_bound = lb; u_bound = ub; }

1 0

[GIT] ppl/ppl(floating_point): Corrected the interface of method linearize.
by Fabio Bossi 01 Sep '09

01 Sep '09

Module: ppl/ppl Branch: floating_point Commit: e2e00d72c5631721e7ffc88251c5c597718d9632 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2e00d72c563… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Tue Sep 1 09:43:30 2009 +0200 Corrected the interface of method linearize. --- src/Constant_Floating_Point_Expression.defs.hh | 8 +++++--- src/Constant_Floating_Point_Expression.inlines.hh | 6 ++++-- src/Floating_Point_Expression.defs.hh | 5 +++-- 3 files changed, 12 insertions(+), 7 deletions(-) diff --git a/src/Constant_Floating_Point_Expression.defs.hh b/src/Constant_Floating_Point_Expression.defs.hh index bfe4aa6..74bb678 100644 --- a/src/Constant_Floating_Point_Expression.defs.hh +++ b/src/Constant_Floating_Point_Expression.defs.hh @@ -1,4 +1,5 @@ -/* Declarations for the Constant_Floating_Point_Expression class and its constituents. +/* Declarations for the Constant_Floating_Point_Expression class and + its constituents. Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> This file is part of the Parma Polyhedra Library (PPL). @@ -56,12 +57,13 @@ public: ~Constant_Floating_Point_Expression(); - FP_Linear_Form linearize(FP_Interval_Abstract_Store store); + FP_Linear_Form linearize(const FP_Interval_Abstract_Store& store) const; private: + // FIXME: this is a temporary solution: we should find a way to convert + // a floating point with an arbitrary format to an interval. boundary_type l_bound; - boundary_type u_bound; }; // class Constant_Floating_Point_Expression diff --git a/src/Constant_Floating_Point_Expression.inlines.hh b/src/Constant_Floating_Point_Expression.inlines.hh index 9bca950..3ddbf40 100644 --- a/src/Constant_Floating_Point_Expression.inlines.hh +++ b/src/Constant_Floating_Point_Expression.inlines.hh @@ -41,8 +41,10 @@ Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>:: ~Constant_Floating_Point_Expression() {} template <typename FP_Interval_Type, typename FP_Format> -inline typename Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>::FP_Linear_Form -Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>::linearize(FP_Interval_Abstract_Store store) { +inline typename Constant_Floating_Point_Expression<FP_Interval_Type, + FP_Format>::FP_Linear_Form +Constant_Floating_Point_Expression<FP_Interval_Type, FP_Format>::linearize( +const FP_Interval_Abstract_Store& store) const { FP_Interval_Type result_interval(l_bound); FP_Interval_Type result_upper_bound(u_bound); diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh index cebc46d..f702d78 100644 --- a/src/Floating_Point_Expression.defs.hh +++ b/src/Floating_Point_Expression.defs.hh @@ -30,7 +30,7 @@ site: http://www.cs.unipr.it/ppl/ . */ namespace Parma_Polyhedra_Library { - template <typename FP_Interval_Type, typename FP_Format> +template <typename FP_Interval_Type, typename FP_Format> class Floating_Point_Expression { public: @@ -45,7 +45,8 @@ public: virtual ~Floating_Point_Expression(); - virtual FP_Linear_Form linearize(FP_Interval_Abstract_Store store) = 0; + virtual FP_Linear_Form linearize( + const FP_Interval_Abstract_Store& store) const = 0; }; // class Floating_Point_Expression

1 0

[GIT] ppl/ppl(floating_point): Added a few classes that represent floating point expressions.
by Fabio Bossi 01 Sep '09

01 Sep '09

Module: ppl/ppl Branch: floating_point Commit: a94cd70f673cdd79b79bde76ea235dfaaeec8e9e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94cd70f673c… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Mon Aug 31 17:32:09 2009 +0200 Added a few classes that represent floating point expressions. --- src/Constant_Floating_Point_Expression.defs.hh | 73 +++++++++++++++++++++ src/Constant_Floating_Point_Expression.inlines.hh | 57 ++++++++++++++++ src/Constant_Floating_Point_Expression.types.hh | 22 ++++++ src/Floating_Point_Expression.defs.hh | 56 ++++++++++++++++ src/Floating_Point_Expression.inlines.hh | 37 +++++++++++ src/Floating_Point_Expression.types.hh | 22 ++++++ src/Makefile.am | 8 ++- 7 files changed, 274 insertions(+), 1 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a94cd70f…

1 0