$ 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]
ment requirements. [...]
[...]
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:[EMAIL PROTECTED]
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
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
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]
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]
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
>
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
>
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
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
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
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
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
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
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]
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
, 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
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
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
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
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
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]
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]
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
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
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
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
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
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
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
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
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-
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
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
...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,
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
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
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
development team,
Roberto Bagnara
Patricia M. Hill
Enea Zaffanella
--
NEWS for version 0.10.2 (released on April 18, 2009
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
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
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
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
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
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
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
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]
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
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
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 -
://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
/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
://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
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
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]
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
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
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
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]
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.
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
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
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
63 matches
Mail list logo
