https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105264
--- Comment #2 from Ævar Arnfjörð Bjarmason <avarab at gmail dot com> --- I think I can do one better. Here's a stand-alone reproducible test case without any headers except standard headers, I've expanded the gcc -E version of that too, but presumably you won't need it. It's screaming bloddy murder about various other things, since I did a rather bad hatchet job of copy/pasting various structs I needed from local headers into the testcase, and deleted some code I could do away with, but as noted in the now-added comment in the code: 1. "mmfs + i" to "&mmfs[i]" makes it go away, so if it's a loop-iterator problem wouldn't that apply to both? 2. I tried copying the relevant function into the file and that makes it go away too, so some cross-file analysis limitation? Will follow-up and attach both the testcase & the gcc -E version, tested with: gcc -o testcase -fanalyzer testcase.c
