[Bug analyzer/110529] -Wanalyzer-null-dereference false nagetive with `*arr[0] = 10086`

[dale.mengli.ming at proton dot me via Gcc-bugs]

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

--- Comment #2 from mengli ming <dale.mengli.ming at proton dot me> ---
Um, would you be available to take a look at this case? Your insights would be
greatly appreciated!