Parma Polyhedra Library 0.10.2

2009-04-18 Thread Roberto Bagnara
We announce the availability of PPL 0.10.2, a new release of the Parma Polyhedra Library fixing a few bugs affecting PPL 0.10.1. The precise list of user-visible changes is below. For more information, please come and visit the PPL web site at http://www.cs.unipr.it/ppl/ The core developme

[RFC] Massive recursion in tree_ssa_phiprop_1?

2009-04-18 Thread Dave Korn
Hi, I'm getting a stack overflow caused by *very* deep recursion while trying to build gnu/javax/swing/text/html/parser/HTML_401F.o in libjava, bootstrapping HEAD on i686-pc-cygwin. With the default per-thread stack size of 2MB, it crashes in tree_ssa_phiprop_1(), which by the time of th

Re: [gnat] reuse of ASTs already constructed

2009-04-18 Thread Oliver Kellogg
I've run up against a problem with reusing the GNAT trees: Apparently during semantic analysis entity names are expanded to their fully qualified names in the tree. For example, when compiling the following file with the node for System already installed by a previous compilation, -- file: ext.ad