[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