And setting -O0 (tested with both GCC 4.6 and 4.7) does not help either. -- Sébastien Villemot Researcher in Economics & Debian Maintainer http://www.dynare.org/sebastien Phone: +33-1-40-77-84-04 - GPG Key: 4096R/381A7594
pgpoUT8p8PkFk.pgp
Description: PGP signature
