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. ------------------------