[Bug c++/87576] Static analysis generating errors on branch never taken

2018-10-10 Thread wheybags at wheybags dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87576 --- Comment #2 from Tom Mason --- Compiling and running the file works in clang, and the asserts pass.

[Bug c++/87576] Static analysis generating errors on branch never taken

2018-10-10 Thread wheybags at wheybags dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87576 --- Comment #1 from Tom Mason --- Trying to compile the attached source file leads to gcc generating a memcpy out of the loop on line 134, then erroring because the generated memcpy overlaps. Indeed the regions do overlap, so if that is a problem

[Bug c++/87576] New: Static analysis generating errors on branch never taken

2018-10-10 Thread wheybags at wheybags dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: wheybags at wheybags dot com Target Milestone: --- Created attachment 44824 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44824&action=edit source file exhibiting the bug