https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77588
Bug ID: 77588 Summary: Internal error triggered by __builtin___chkp_bndret Product: gcc Version: 5.4.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: kev at semmle dot com Target Milestone: --- Host: x86_64-linux-gnu Target: x86_64-linux-gnu Build: x86_64-linux-gnu Created attachment 39616 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39616&action=edit Short example that attempts to use __builtin___chkp_bndret The attached file triggers an internal error. This is with gcc 5.4.0 on Ubuntu 16.04.2. I think the problem is that my gcc does not have Intel MPX enabled, but I don't think it should cause an internal error. $ g++ -c bug.cpp bug.cpp: In function ‘void test2()’: bug.cpp:4:32: internal compiler error: in arg_assoc_type, at cp/name-lookup.c:5573 test1(__builtin___chkp_bndret); ^ Please submit a full bug report, with preprocessed source if appropriate. See <file:///usr/share/doc/gcc-5/README.Bugs> for instructions.