[Bug c/66899] New: ICE when compiling pkcs7_trust.c in Linux

[hpa at zytor dot com]

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

            Bug ID: 66899
           Summary: ICE when compiling pkcs7_trust.c in Linux
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hpa at zytor dot com
  Target Milestone: ---

Created attachment 35997
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35997&action=edit
File that ICEs

Git version: 29a78fec9c08f01c8afa12b08ffe994904a782ce
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@225722
138bc75d-0d04-0410-961f-82ee72b054a4

When compiling the attached file on x86-64 the compiled ICEs with the following
command line:

gcc -Wall -Wundef -Wstrict-prototypes -Wno-trigraphs -fno-strict-aliasing
-fno-common -Werror-implicit-function-declaration -Wno-format-security
-std=gnu89 -m64 -falign-jumps=1 -falign-loops=1 -mno-80387 -mno-fp-ret-in-387
-mskip-rax-setup -mtune=generic -mno-red-zone -mcmodel=kernel -funit-at-a-time
-maccumulate-outgoing-args -pipe -Wno-sign-compare
-fno-asynchronous-unwind-tables -mno-sse -mno-mmx -mno-sse2 -mno-3dnow -mno-avx
-fno-delete-null-pointer-checks -Os -Wno-maybe-uninitialized
--param=allow-store-data-races=0 -fno-reorder-blocks -fno-ipa-cp-clone
-fno-partial-inlining -Wframe-larger-than=2048 -fno-stack-protector
-Wno-unused-but-set-variable -fno-omit-frame-pointer
-fno-optimize-sibling-calls -fno-var-tracking-assignments -pg -mfentry
-fno-inline-functions-called-once -Wdeclaration-after-statement
-Wno-pointer-sign -fno-strict-overflow -fconserve-stack -Werror=implicit-int
-Werror=strict-prototypes -Werror=date-time -fprofile-arcs -ftest-coverage
-fsanitize=kernel-address -fasan-shadow-offset=0xdffffc0000000000 --param
asan-stack=1 --param asan-globals=1 --param
asan-instrumentation-with-call-threshold=0 -c -o pkcs7_trust.o pkcs7_trust.i

The error message is:

../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
../crypto/asymmetric_keys/pkcs7_trust.c:168:5: internal compiler error: in
verify_loop_structure, at cfgloop.c:1647
0x701d05 verify_loop_structure()
        ../.././gcc/cfgloop.c:1647
0xa610b5 loop_optimizer_init(unsigned int)
        ../.././gcc/loop-init.c:109
0xe29e6a execute_vrp
        ../.././gcc/tree-vrp.c:10362
0xe29e6a execute
        ../.././gcc/tree-vrp.c:10459
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.