https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918

            Bug ID: 71918
           Summary: Internal compiler error: Illegal instruction
           Product: gcc
           Version: 6.1.1
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jordyruiz at hotmail dot fr
  Target Milestone: ---

Hello,

I get this error on compiling.
It's asking me to report a bug report.
Is this of any interest? If so, what files would you need to troubleshoot this?

Using gcc version 6.1.1 20160621 (Red Hat 6.1.1-3) (GCC) 
Target: x86_64-redhat-linux


Thanks.



------------------------
[ 1/24] [1] c++ src/cvc4/cvc4_smt.cpp
[ 2/24] [2] c++ src/cvc4/cvc4_operand_visitor.cpp
In file included from
/home/***/system/include/cvc4/util/integer_gmp_imp.h:25:0,
                 from /home/***/system/include/cvc4/util/integer.h:38,
                 from /home/***/system/include/cvc4/util/cardinality.h:26,
                 from /home/***/system/include/cvc4/expr/type.h:27,
                 from /home/***/system/include/cvc4/expr/expr_manager.h:55,
                 from src/cvc4/cvc4_operand_visitor.cpp:1:
/usr/include/c++/6.1.1/limits:1598:7: internal compiler error: Illegal
instruction
       min() _GLIBCXX_USE_NOEXCEPT { return __FLT_MIN__; }
       ^~~
In file included from
/home/***/system/include/cvc4/util/integer_gmp_imp.h:25:0,
                 from /home/***/system/include/cvc4/util/integer.h:38,
                 from /home/***/system/include/cvc4/util/cardinality.h:26,
                 from /home/***/system/include/cvc4/expr/type.h:27,
                 from
/home/***/system/include/cvc4/util/uninterpreted_constant.h:21,
                 from /home/***/system/include/cvc4/expr/expr.h:55,
                 from /home/***/system/include/cvc4/expr/command.h:31,
                 from src/cvc4/cvc4_smt.cpp:4:
/usr/include/c++/6.1.1/limits:1598:7: internal compiler error: Illegal
instruction
       min() _GLIBCXX_USE_NOEXCEPT { return __FLT_MIN__; }
       ^~~
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://bugzilla.redhat.com/bugzilla> for instructions.
------------------------

Reply via email to