https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67278
Bug ID: 67278
Summary: ICE: verify_gimple failed on darwin 14.5 x86_64
Product: gcc
Version: 6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: regression
Assignee: unassigned at gcc dot gnu.org
Reporter: tarasevich at cs dot uni-saarland.de
Target Milestone: ---
Created attachment 36216
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36216&action=edit
test case
Test pr65491.c fails on on darwin14.5 x86_64
GCC was compiled from SVN trunk revision 226781
gcc -v -save-temps
/Users/sevich/work/source/gcc_trunk_git/gcc/testsuite//gcc.target//aarch64//pr65491_1.c
Using built-in specs.
COLLECT_GCC=/Users/sevich/work/build_normal/bin/gcc
COLLECT_LTO_WRAPPER=/Users/sevich/work/build_normal/libexec/gcc/x86_64-apple-darwin14.5.0/6.0.0/lto-wrapper
Target: x86_64-apple-darwin14.5.0
Configured with: /Users/sevich/work/source/gcc_trunk_git/configure
--disable-bootstrap --enable-languages=c,c++
--prefix=/Users/sevich/work/build_normal/
Thread model: posix
gcc version 6.0.0 20150811 (experimental) (GCC)
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.10.5' '-v' '-save-temps'
'-mtune=core2'
/Users/sevich/work/build_normal/libexec/gcc/x86_64-apple-darwin14.5.0/6.0.0/cc1
-E -quiet -v -D__DYNAMIC__
/Users/sevich/work/source/gcc_trunk_git/gcc/testsuite//gcc.target//aarch64//pr65491_1.c
-fPIC -mmacosx-version-min=10.10.5 -mtune=core2 -fpch-preprocess -o pr65491_1.i
ignoring nonexistent directory
"/Users/sevich/work/build_normal/lib/gcc/x86_64-apple-darwin14.5.0/6.0.0/../../../../x86_64-apple-darwin14.5.0/include"
#include "..." search starts here:
#include <...> search starts here:
/Users/sevich/work/build_normal/lib/gcc/x86_64-apple-darwin14.5.0/6.0.0/include
/usr/local/include
/Users/sevich/work/build_normal/include
/Users/sevich/work/build_normal/lib/gcc/x86_64-apple-darwin14.5.0/6.0.0/include-fixed
/usr/include
/System/Library/Frameworks
/Library/Frameworks
End of search list.
COLLECT_GCC_OPTIONS='-mmacosx-version-min=10.10.5' '-v' '-save-temps'
'-mtune=core2'
/Users/sevich/work/build_normal/libexec/gcc/x86_64-apple-darwin14.5.0/6.0.0/cc1
-fpreprocessed pr65491_1.i -fPIC -quiet -dumpbase pr65491_1.c
-mmacosx-version-min=10.10.5 -mtune=core2 -auxbase pr65491_1 -version -o
pr65491_1.s
GNU C11 (GCC) version 6.0.0 20150811 (experimental) (x86_64-apple-darwin14.5.0)
compiled by GNU C version 4.2.1 Compatible Apple LLVM 6.1.0
(clang-602.0.53), GMP version 6.0.0, MPFR version 3.1.2, MPC version 1.0.3
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C11 (GCC) version 6.0.0 20150811 (experimental) (x86_64-apple-darwin14.5.0)
compiled by GNU C version 4.2.1 Compatible Apple LLVM 6.1.0
(clang-602.0.53), GMP version 6.0.0, MPFR version 3.1.2, MPC version 1.0.3
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 700dea0ce5ef3b798edb9c9160a43b26
/Users/sevich/work/source/gcc_trunk_git/gcc/testsuite//gcc.target//aarch64//pr65491_1.c:
In function ‘sum’:
/Users/sevich/work/source/gcc_trunk_git/gcc/testsuite//gcc.target//aarch64//pr65491_1.c:7:1:
error: mode precision of non-integral result does not match field size of
BIT_FIELD_REF
sum (a first, a second)
^
BIT_FIELD_REF <first_1(D), 128, 0>
/Users/sevich/work/source/gcc_trunk_git/gcc/testsuite//gcc.target//aarch64//pr65491_1.c:9:16:
note: in statement
return first + second;
^
_6 = BIT_FIELD_REF <first_1(D), 128, 0>;
/Users/sevich/work/source/gcc_trunk_git/gcc/testsuite//gcc.target//aarch64//pr65491_1.c:7:1:
error: mode precision of non-integral result does not match field size of
BIT_FIELD_REF
sum (a first, a second)
^
BIT_FIELD_REF <second_2(D), 128, 0>
/Users/sevich/work/source/gcc_trunk_git/gcc/testsuite//gcc.target//aarch64//pr65491_1.c:9:16:
note: in statement
return first + second;
^
_7 = BIT_FIELD_REF <second_2(D), 128, 0>;
/Users/sevich/work/source/gcc_trunk_git/gcc/testsuite//gcc.target//aarch64//pr65491_1.c:7:1:
internal compiler error: verify_gimple failed
sum (a first, a second)
^
libbacktrace could not find executable to open
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
