This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r144862 - in /branches/melt-branch/gcc: ChangeL...
- From: bstarynk at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Sat, 14 Mar 2009 22:43:53 -0000
- Subject: r144862 - in /branches/melt-branch/gcc: ChangeL...
Author: bstarynk
Date: Sat Mar 14 22:43:52 2009
New Revision: 144862
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=144862
Log:
2009-03-14 Basile Starynkevitch <basile@starynkevitch.net>
* basilys.h (basilysgc_new_ppl_constraint_system)
(basilysgc_ppstrbuf_ppl_varnamvect): added new declarations.
* basilys.c (basilysgc_new_ppl_constraint_system)
(cookiestrbuf_basilyswrite, basilys_sbufcookiefuns)
(basilys_pplcoefvectp, ppl_basilys_variable_output_function)
(basilysgc_ppstrbuf_ppl_varnamvect, basilys_ppl_error_handler):
added new stuff for PPL support [using fopencookie GNU function].
* melt/warmelt-first.bysl: added discr_ppl_constraint_system.
* melt/ana-base.bysl: adding more of trivial abstract interpretation.
* testsuite/gcc/tmallbuf.c: updated comment.
Modified:
branches/melt-branch/gcc/ChangeLog.melt
branches/melt-branch/gcc/basilys.c
branches/melt-branch/gcc/basilys.h
branches/melt-branch/gcc/melt/ana-base.bysl
branches/melt-branch/gcc/melt/warmelt-first.bysl
branches/melt-branch/gcc/testsuite/melt/tmallbuf.c