[MacPorts] #43269: gcc47 @4.7.3_3: internal compiler error: in bitmap_set_replace_value, at tree-ssa-pre.c:862 (was: internal compiler error: in bitmap_set_replace_value, at tree-ssa-pre.c:862)
MacPorts
noreply at macports.org
Mon Apr 7 20:09:14 PDT 2014
#43269: gcc47 @4.7.3_3: internal compiler error: in bitmap_set_replace_value, at
tree-ssa-pre.c:862
---------------------+-------------------
Reporter: py@… | Owner: mww@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.2.1
Resolution: | Keywords:
Port: gcc47 |
---------------------+-------------------
Changes (by ryandesign@…):
* owner: macports-tickets@… => mww@…
* port: gcc47 4.7.3_3 => gcc47
Old description:
> When compiling Prism r7596 (see http://prismmodelchecker.org), g++
> 4.7.3.3 stopped with an internal error.
> I include a downsized source.
>
> g++ -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8
> -DSIZEOF_LONG=8 -fno-common -O3 -c sparceReduced.cc -o
> ../../obj/sparse/sparse.o -I../../cudd/include
> -I"/System/Library/Frameworks/JavaVM.framework/Versions/Current/Headers"
> -I"/System/Library/Frameworks/JavaVM.framework/Versions/Current/Headers"
> -I../../include -I../../ext/lpsolve55/include
> sparceReduced.cc: In function 'void
> _ZL23traverse_mtbdd_matr_recP9DdManagerP6DdNodePS2_S3_iiP7ODDNodeS5_iiib.constprop.3(DdManager*,
> DdNode*, DdNode**, DdNode**, int, ODDNode*, ODDNode*)':
> sparceReduced.cc:311:6: internal compiler error: in
> bitmap_set_replace_value, at tree-ssa-pre.c:862
> Please submit a full bug report,
> with preprocessed source if appropriate.
> See <https://trac.macports.org/newticket> for instructions.
>
> % g++ -v
> Using built-in specs.
> COLLECT_GCC=g++
> COLLECT_LTO_WRAPPER=/opt/local/libexec/gcc/x86_64-apple-darwin13/4.7.3
> /lto-wrapper
> Target: x86_64-apple-darwin13
> Configured with:
> /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_lang_gcc47/gcc47/work/gcc-4.7.3/configure
> --prefix=/opt/local --build=x86_64-apple-darwin13 --enable-
> languages=c,c++,objc,obj-c++,lto,fortran,java
> --libdir=/opt/local/lib/gcc47 --includedir=/opt/local/include/gcc47
> --infodir=/opt/local/share/info --mandir=/opt/local/share/man
> --datarootdir=/opt/local/share/gcc-4.7 --with-libiconv-prefix=/opt/local
> --with-local-prefix=/opt/local --with-system-zlib --disable-nls
> --program-suffix=-mp-4.7 --with-gxx-include-
> dir=/opt/local/include/gcc47/c++/ --with-gmp=/opt/local --with-
> mpfr=/opt/local --with-mpc=/opt/local --with-ppl=/opt/local --with-
> cloog=/opt/local --enable-cloog-backend=isl --disable-cloog-version-check
> --enable-stage1-checking --disable-multilib --enable-lto --enable-
> libstdcxx-time --with-as=/opt/local/bin/as --with-ld=/opt/local/bin/ld
> --with-ar=/opt/local/bin/ar --with-
> bugurl=https://trac.macports.org/newticket --disable-ppl-version-check
> --with-pkgversion='MacPorts gcc47 4.7.3_3'
> Thread model: posix
> gcc version 4.7.3 (MacPorts gcc47 4.7.3_3)
New description:
When compiling Prism r7596 (see http://prismmodelchecker.org), g++ 4.7.3.3
stopped with an internal error.
I include a downsized source.
{{{
g++ -arch x86_64 -fPIC -DPIC -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8
-DSIZEOF_LONG=8 -fno-common -O3 -c sparceReduced.cc -o
../../obj/sparse/sparse.o -I../../cudd/include
-I"/System/Library/Frameworks/JavaVM.framework/Versions/Current/Headers"
-I"/System/Library/Frameworks/JavaVM.framework/Versions/Current/Headers"
-I../../include -I../../ext/lpsolve55/include
sparceReduced.cc: In function 'void
_ZL23traverse_mtbdd_matr_recP9DdManagerP6DdNodePS2_S3_iiP7ODDNodeS5_iiib.constprop.3(DdManager*,
DdNode*, DdNode**, DdNode**, int, ODDNode*, ODDNode*)':
sparceReduced.cc:311:6: internal compiler error: in
bitmap_set_replace_value, at tree-ssa-pre.c:862
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://trac.macports.org/newticket> for instructions.
}}}
{{{
% g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/opt/local/libexec/gcc/x86_64-apple-darwin13/4.7.3
/lto-wrapper
Target: x86_64-apple-darwin13
Configured with:
/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_lang_gcc47/gcc47/work/gcc-4.7.3/configure
--prefix=/opt/local --build=x86_64-apple-darwin13 --enable-
languages=c,c++,objc,obj-c++,lto,fortran,java
--libdir=/opt/local/lib/gcc47 --includedir=/opt/local/include/gcc47
--infodir=/opt/local/share/info --mandir=/opt/local/share/man
--datarootdir=/opt/local/share/gcc-4.7 --with-libiconv-prefix=/opt/local
--with-local-prefix=/opt/local --with-system-zlib --disable-nls --program-
suffix=-mp-4.7 --with-gxx-include-dir=/opt/local/include/gcc47/c++/
--with-gmp=/opt/local --with-mpfr=/opt/local --with-mpc=/opt/local --with-
ppl=/opt/local --with-cloog=/opt/local --enable-cloog-backend=isl
--disable-cloog-version-check --enable-stage1-checking --disable-multilib
--enable-lto --enable-libstdcxx-time --with-as=/opt/local/bin/as --with-
ld=/opt/local/bin/ld --with-ar=/opt/local/bin/ar --with-
bugurl=https://trac.macports.org/newticket --disable-ppl-version-check
--with-pkgversion='MacPorts gcc47 4.7.3_3'
Thread model: posix
gcc version 4.7.3 (MacPorts gcc47 4.7.3_3)
}}}
--
--
Ticket URL: <https://trac.macports.org/ticket/43269#comment:1>
MacPorts <http://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list