Parma Polyhedra Library 1.1

://bugseng.com/products/ppl/credits and in the file CREDITS, Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara BUGSENG srl (http://bugseng.com) -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University

Parma Polyhedra Library 1.0

://bugseng.com/products/ppl sbpi1_bdiv_r.c On behalf of all the past and present developers listed at http://bugseng.com/products/ppl/credits and in the file CREDITS, Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara BUGSENG srl

Parma Polyhedra Library 0.12.1

/products/ppl/credits and in the file CREDITS, Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara BUGSENG srl (http://bugseng.com) -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy

Parma Polyhedra Library 0.11.2

come and visit the PPL web site at http://www.cs.unipr.it/ppl/ On behalf of all the past and present developers listed at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Abramo Bagnara Roberto Bagnara Patricia M. Hill Enea Zaffanella -- Prof. Roberto Bagnara

Re: Parma Polyhedra Library 0.11.1

and if you are cross-compiling you are not using it. All the best, Roberto -- Prof. Roberto Bagnara CEO CTO Applied Formal Methods Laboratory BUGSENG srl Department of Mathematics Parco Area delle Scienze 53/A University of Parma, Italy

Re: [PPL-devel] Parma Polyhedra Library 0.11.1

let us know if you have further problems. Cheers, Roberto -- Prof. Roberto Bagnara CEO CTO Applied Formal Methods Laboratory BUGSENG srl Department of Mathematics Parco Area delle Scienze 53/A University of Parma, ItalyI-43124 Parma

Re: Parma Polyhedra Library 0.11.1

On 02/21/2011 04:42 AM, Jack Howarth wrote: On Sun, Feb 20, 2011 at 06:32:30PM +0100, Prof. Roberto Bagnara wrote: We announce the availability of PPL 0.11.1, a new release of the Parma Polyhedra Library. This release includes several important bug fixes and performance improvements

Parma Polyhedra Library 0.11.1

For more information, please come and visit the PPL web site at http://www.cs.unipr.it/ppl/ On behalf of all the past and present developers listed at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Abramo Bagnara Roberto Bagnara Patricia M. Hill Enea Zaffanella -- Prof

Re: some integer undefined behaviors in gcc

like ours every now and then to see if anything new has popped up. Really interesting: where can we read more about the tool? -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it

Re: Parma Polyhedra Library 0.11

On 08/04/10 20:58, Jack Howarth wrote: On Wed, Aug 04, 2010 at 05:43:33PM +0200, Roberto Bagnara wrote: The core development team is very pleased to announce the availability of PPL 0.11, a new release of the Parma Polyhedra Library. This release has many new features, some of which developed

Re: Parma Polyhedra Library 0.11

, please file a bug at https://www.cs.unipr.it/mantis/ Cheers, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it

Parma Polyhedra Library 0.11

/ On behalf of all the past and present developers listed at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Roberto BagnaraPatricia M. HillEnea Zaffanella Applied Formal Methods Laboratory Department of Mathematics University

Re: Trouble building Graphite

to improve the PPL as much as possible: any suggestion is welcome in this respect. Please mail to ppl-de...@cs.unipr.it All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn

Re: Graphite build fails if PPL configured with --disable-shared

the PPL is welcome. This, of course, applies also to the build machinery. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it

Re: Problems with in-tree host libraries (gmp, ppl, etc)

and the C++ interface of GMP have been installed in the same places, specifying --with-libgmp-prefix[=DIR] is enough. If you think that being able to use a non-installed GMP build tree is important, we can add an option to that effect. -- Prof. Roberto Bagnara Computer Science Group Department

Parma Polyhedra Library 0.10.2

development team, Roberto Bagnara bagn...@cs.unipr.it Patricia M. Hill h...@comp.leeds.ac.uk Enea Zaffanella zaffane...@cs.unipr.it -- NEWS for version 0.10.2 (released on April 18, 2009

Snapshots of PPL 0.10.2 available for testing

, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it

Re: Parma Polyhedra Library 0.10.1

biggest fears about cloog/ppl...that the so version control be randomly bumped. Jack, can you please explain what you mean by randomly bumped? Thanks, Roberto P.S. Please direct all the PPL-related messages to ppl-de...@cs.unipr.it -- Prof. Roberto Bagnara Computer Science Group Department

Re: Parma Polyhedra Library 0.10.1

solution is to release PPL 0.10.2 during the weekend. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it

Re: [PPL-devel] Parma Polyhedra Library 0.10.1

Richard Guenther wrote: On Wed, Apr 15, 2009 at 5:28 PM, Roberto Bagnara bagn...@cs.unipr.it wrote: Last but not least, GMP 4.3.0 was released a few hours after PPL 0.10.1 with a change that is not backward compatible and that affects the PPL. Summing up, I think the only solution

Parma Polyhedra Library 0.10.1

at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Roberto Bagnara bagn...@cs.unipr.it Patricia M. Hill h...@comp.leeds.ac.uk Enea Zaffanella zaffane...@cs.unipr.it -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma

Re: Parma Polyhedra Library 0.10.1

Richard Guenther wrote: On Tue, Apr 14, 2009 at 3:02 PM, Roberto Bagnara bagn...@cs.unipr.it wrote: We are pleased to announce the availability of PPL 0.10.1, a new release of the Parma Polyhedra Library. It seems to build and test ok on {i586,ia64,ppc,ppc64,s390,x86_64}-linux but I get PASS

First PPL 0.10.1 release candidate

important on this occasion because PPL 0.10.1 will be the last release in the PPL 0.10 series. The following release will be PPL 0.11. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it

Re: First PPL 0.10.1 release candidate

Dave Korn wrote: Roberto Bagnara wrote: We have uploaded the first PPL 0.10.1 release candidate to Please report any problem you may encounter to ppl-devel Hi Roberto and team, I am sorry to report some problems encountered. Hi Dave, thanks for the report. We will investigate

Re: [PPL-devel] PPL broken for Canadian-cross builds

Joseph S. Myers wrote: On Fri, 20 Mar 2009, Roberto Bagnara wrote: thanks for the detailed explanation. I admit we always have postoponed the issue of cross-compilation... to the point we almost forgot it. We will fix the PPL asap. Can we come back to you in case we are unsure about which

Re: [PPL-devel] PPL broken for Canadian-cross builds

feature that is needed in the MELT branch, plus other improvements, none of which affecting the code generated by GCC. I will write again when we can be more precise about the release schedule. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics

Re: [PPL-devel] PPL broken for Canadian-cross builds

Joseph S. Myers wrote: On Fri, 20 Mar 2009, Roberto Bagnara wrote: Work has already started for producing an official PPL 0.11 release. This will contain fixes for all the problems we discovered since the release of PPL 0.10 (mainly portability ones), a new formatted output feature

Re: [PPL-devel] Graphite/Cloog/PPL problems on Cygwin, HEAD broken maybe?

, is also written in C++. Your description of the problem confuses me, as it seems to be system-independent; however, I have no problems bootstrapping HEAD on my GNU/Linux system. What am I missing? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics

Re: [PPL-devel] Graphite/Cloog/PPL problems on Cygwin, HEAD broken maybe?

, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it

Parma Polyhedra Library 0.10

It has been released: see http://www.cs.unipr.it/pipermail/ppl-announce/2008/21.html All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]

Re: Parma Polyhedra Library 0.10

Jack Howarth wrote: Now that ppl 0.10 is release, what are the plans for merging the cloog-ppl changes into an actual cloog release so that tarballs are available for both? This is a good question for the CLooG maintainers. Are they on this list? -- Prof. Roberto Bagnara Computer Science

Re: [PATCH]: bump minimum MPFR version, (includes some fortran bits)

, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]

More floating point problems on the Alpha

, 64b line L3 cache: 4096K, 1-way, 64b line All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]

IEEE inexact-flag not working on the Alpha (despite -mieee-with-inexact)?

bugzilla though), so we decided to post here before filing a bug report. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]

Re: IEEE inexact-flag not working on the Alpha (despite -mieee-with-inexact)?

Andreas Schwab wrote: Roberto Bagnara [EMAIL PROTECTED] writes: $ cat sf.cc #include fenv.h #include cstdio int main() { float x = 2; float y = 3; feclearexcept(FE_INEXACT); x = x / y; printf(%d %.1000g\n, fetestexcept(FE_INEXACT) != 0, x); You need to enable the FENV_ACCESS

Re: IEEE inexact-flag not working on the Alpha (despite -mieee-with-inexact)?

Tim Prince wrote: Roberto Bagnara wrote: #include fenv.h #include cstdio int main() { float x = 2; float y = 3; feclearexcept(FE_INEXACT); x = x / y; printf(%d %.1000g\n, fetestexcept(FE_INEXACT) != 0, x); } Is this a way of testing whether the division is performed at compile

Re: IEEE inexact-flag not working on the Alpha (despite -mieee-with-inexact)?

Andreas Schwab wrote: Roberto Bagnara [EMAIL PROTECTED] writes: thanks for your message. Do you mean that we need to enable the FENV_ACCESS pragma to get defined behavior only on the Alpha or also elsewhere? See the C standard, 7.6.1 The FENV_ACCESS pragma. The FENV_ACCESS pragma

Re: libtool for shared objects?

) \ $ $(DESTDIR)$(pkglibdir)/$ Some examples of use can be found in the Parma Polyhedra Library's Makefile.am files, but I am sure there are more authoritative sources out there (i.e., we may well misuse Libtool). I hope it helps, Roberto -- Prof. Roberto Bagnara Computer Science Group

GCC rejects valid code?

:7: error: ‘A’ defined as wrong kind of tag My interpretation is that line 7 does not define `union A' with the wrong kind of tag; it declares a (totally unrelated) `struct A'. However, I am not sure. Should I file a bug report for this? All the best, Roberto -- Prof. Roberto Bagnara

Re: Warning: `z' is used uninitialized in this function

Manuel López-Ibáñez wrote: On 11/10/2007, Roberto Bagnara [EMAIL PROTECTED] wrote: Just to make sure before I submit a bug report: when GCC says that a certain variable _is_ (as opposed to _may be_) used uninitialized in this function, it means that it has proved that the variable is indeed

Warning: `z' is used uninitialized in this function

(Type to, const Type x, const Type y, Rounding_Dir dir) { Type z; Result r = mulTo_Policy, From1_Policy, From2_Policy(z, x, y, dir); switch (r) { case V_NEG_OVERFLOW: case V_LT: if (to = 0) { to = z; (***) return r; } All the best, Roberto -- Prof. Roberto Bagnara

Re: Miscompilation of remainder expressions

Andrew Haley wrote: Roberto Bagnara writes: Reading the thread Autoconf manual's coverage of signed integer overflow portability I was horrified to discover about GCC's miscompilation of the remainder expression that causes INT_MIN % -1 to cause a SIGFPE on CPUs of the i386 family

Re: Miscompilation of remainder expressions

Andrew Haley wrote: Roberto Bagnara writes: Andrew Haley wrote: Roberto Bagnara writes: Reading the thread Autoconf manual's coverage of signed integer overflow portability I was horrified to discover about GCC's miscompilation of the remainder expression that causes

Re: Miscompilation of remainder expressions

Robert Dewar wrote: Roberto Bagnara wrote: Reading the thread Autoconf manual's coverage of signed integer overflow portability I was horrified to discover about GCC's miscompilation of the remainder expression that causes INT_MIN % -1 to cause a SIGFPE on CPUs of the i386 family

Re: Miscompilation of remainder expressions

Robert Dewar wrote: Roberto Bagnara wrote: Reading the thread Autoconf manual's coverage of signed integer overflow portability I was horrified to discover about GCC's miscompilation of the remainder expression that causes INT_MIN % -1 to cause a SIGFPE on CPUs of the i386 family

Re: Miscompilation of remainder expressions

Robert Dewar wrote: Roberto Bagnara wrote: Andrew Haley wrote: Roberto Bagnara writes: Reading the thread Autoconf manual's coverage of signed integer overflow portability I was horrified to discover about GCC's miscompilation of the remainder expression that causes INT_MIN % -1

Re: Miscompilation of remainder expressions

David Daney wrote: Roberto Bagnara wrote: Robert Dewar wrote: Roberto Bagnara wrote: Reading the thread Autoconf manual's coverage of signed integer overflow portability I was horrified to discover about GCC's miscompilation of the remainder expression that causes INT_MIN % -1 to cause

Miscompilation of remainder expressions

quite serious)? All the best, Roberto P.S. I checked whether this bug affects my code and it does. Before yesterday I was completely unsuspecting of such a fundamental flaw... I wonder how many know about it. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics

Re: Miscompilation of remainder expressions

for the remainder expression. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]

Re: Miscompilation of remainder expressions

. The overflow that you see is simply an artifact of GCC that produces assembly code that does not implement remainder expressions correctly. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]

Re: GCC optimizes integer overflow: bug or feature?

Paul Eggert wrote: Roberto Bagnara [EMAIL PROTECTED] writes: (The platform I'm thinking of is Tandem NSK/OSS.) Is this correct? Doesn't C99's 6.2.5#6 mandate that... This is straying from the subject of GCC and into the problems of writing portable C code, but since you asked

Re: GCC optimizes integer overflow: bug or feature?

. [...] [...] 6 For each of the signed integer types, there is a corresponding (but different) unsigned integer type (designated with the keyword unsigned) that uses the same amount of storage (including sign information) and has the same alignment requirements. [...] [...] -- Prof. Roberto

Is this really the right error message?

$ cat p.cc char c[2] = a; char d[2] = c; $ g++ -c p.cc p.cc:2: error: cannot convert ‘char [2]’ to ‘char [2]’ in initialization -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]

Darwin long doubles and controlled rounding

(). Is this supported? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]

Re: Reporting bugs: there is nothing to gain in frustrating reporters

it would not solve it either. This is sad, if it means we have to live with it... All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]

Reporting bugs: there is nothing to gain in frustrating reporters

, either do not post any comment or be prepared to continue the discussion on more serious grounds if the reporter or someone else comes back by offering more insight and/or precise clauses of the relevant standards. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group

GCC version 3.4.2 and 4 inconsistency on error: creating array with size zero (`0')

: error: creating array with size zero ('0') Should I report this as a bug? If so, which kind of bug is it? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]