[Bug analyzer/108968] fanalyzer false positive with the uninitalised-ness of the stack pointer

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #18 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Looks like it doesn't even need the asm stmt at line 32 to consider that it
could take the false-then-true path.