[Bug analyzer/109191] GCC static analyzer does not warning `*b = 1` where `b` is 1.

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

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

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
It is valid in the embedded space to do things like

   *(SOME_CONSTANT_ADDRESS) = SOME_VALUE;