https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66314
Bug ID: 66314
Summary: ice in verify_loop_structure
Product: gcc
Version: 6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
Target Milestone: ---
Created attachment 35637
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35637&action=edit
C source code
For trunk gcc dated 20150527
crypto/asymmetric_keys/pkcs7_trust.c: In function ‘pkcs7_validate_trust’:
crypto/asymmetric_keys/pkcs7_trust.c:168:5: error: size of loop 2 should be 36,
not 38
int pkcs7_validate_trust(struct pkcs7_message *pkcs7,
^
crypto/asymmetric_keys/pkcs7_trust.c:168:5: internal compiler error: in
verify_loop_structure, at cfgloop.c:1662
0x7166e3 verify_loop_structure()
../../src/trunk/gcc/cfgloop.c:1662
0xa13f47 loop_optimizer_init(unsigned int)
../../src/trunk/gcc/loop-init.c:124
0xe4a53a execute_vrp
../../src/trunk/gcc/tree-vrp.c:10377
0xe4a53a execute
../../src/trunk/gcc/tree-vrp.c:10474
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
Flags -std=gnu89 -Os -fprofile-arcs -fsanitize=kernel-address
required. Code derived from Linux kernel, so probably quite important.
