Parma Polyhedra Library 1.1

listed at http://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 -

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.12

://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 of

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: [PPL-devel] Parma Polyhedra Library 0.11.1

ry. Please 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, Italy

Re: Parma Polyhedra Library 0.11.1

that setting only affects the PPL testsuite 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 Scienz

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

oblem, 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

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

Parma Polyhedra Library 0.11

s.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, Roberto BagnaraPatricia M. HillEnea Zaffanella Applied Formal Methods Laboratory Department of Mathematics

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

about how to improve 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: Trouble building Graphite

ally speaking, we are 100% willing 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

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

pxx-prefix don't search for libgmpxx in includedir and libdir If the C 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

Parma Polyhedra Library 0.10.2

development team, Roberto Bagnara Patricia M. Hill Enea Zaffanella -- NEWS for version 0.10.2 (released on April 18, 2009

Snapshots of PPL 0.10.2 available for testing

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 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 is to release PPL 0.10.2 during

Re: Parma Polyhedra Library 0.10.1

k the only 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: Parma Polyhedra Library 0.10.1

...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 of Mathematics,

Re: Parma Polyhedra Library 0.10.1

Richard Guenther wrote: On Tue, Apr 14, 2009 at 3:02 PM, Roberto Bagnara 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

Parma Polyhedra Library 0.10.1

http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Roberto Bagnara Patricia M. Hill Enea Zaffanella -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn

Re: [PPL-devel] First PPL 0.10.1 release candidate

Dave Korn wrote: Roberto Bagnara wrote: Dave Korn wrote: Target: i686-pc-cygwin, cygwin-1.7.0-42, gcc-4.3.2, ppl configured with --enable-shared --disable-static, no -fexceptions, no --enable-cxx. I am not following here. There are no "-fexceptions" and "--enable-

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

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: [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

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" featu

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

ew "formatted output" 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 G

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

minutes ago. Notice that I had to work around the multiple definition of debug_value() you already reported. 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] Graphite/Cloog/PPL problems on Cygwin, HEAD broken maybe?

pl" is that libppl is written in C++. The C interface to the PPL, libppl_c, 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

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

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: [PATCH]: bump minimum MPFR version, (includes some fortran bits)

exi during next 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:[EMAIL PROTECTED]

More floating point problems on the Alpha

e L2 cache: 96K, 3-way, 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]

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

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

Tim Prince wrote: Roberto Bagnara wrote: #include #include 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 tim

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 #include 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_ACCE

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

lla 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: libtool for shared objects?

TRIP_FLAG) \ $< $(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 Bagn

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

Warning: `z' is used uninitialized in this function

z; Result r = mul(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 Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.

Re: Miscompilation of remainder expressions

this issue could be: document it so that users can know about it; when the standard has been clarified if the standard implies INT_MIN % -1 should give 0 resume the discussion about how to implement that; resume the discussion about the default behavior of GCC else do nothi

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 caus

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 rema

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

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

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 disco

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 >

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 >

Re: Miscompilation of remainder expressions

tsoever involved. 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: Miscompilation of remainder expressions

nerated 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]

Miscompilation of remainder expressions

bug (which, to me, looks 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 D

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 sin

Re: GCC optimizes integer overflow: bug or feature?

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

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]

Re: GCC 4.1.1 Released

Mark Mitchell wrote: GCC 4.1.1 has been released. This release is a bug-fix release for problems in GCC 4.0.2. GCC [...] Do you mean "a bug-fix release for problems in GCC 4.1.0"? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of M

Re: Darwin long doubles and controlled rounding

Geoffrey Keating wrote: Roberto Bagnara <[EMAIL PROTECTED]> writes: Hi there, I have read the files darwin-ldouble* in GCC 4.1.0. What I would like do know is whether I can expect long doubles on Darwin to comply with ISO C99 7.6 (Floating-point environment). They can be made com

Darwin long doubles and controlled rounding

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

are all contributing to Free Software in one way or another. Being a volunteer is not an excuse for not paying attention to the technical and human aspects of our volunteer work. > -- Hitler (just to stop this thread) I don't believe that stopping the thread would solve the probl

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

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

Paolo Carlini wrote: Should I report this as a bug? If so, which kind of bug is it? Isn't this c++/19989? Hi Paolo, yes, I think it is that one. Thanks, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.uni

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

rom here bug.cc:7: 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]