[Bug analyzer/97568] -fanalyzer assumes that an extern const pointer is NULL

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

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:16ad9ae85bb5b9acf80f9d1cf2be5a989ef7ba49

commit r11-4437-g16ad9ae85bb5b9acf80f9d1cf2be5a989ef7ba49
Author: David Malcolm <dmalc...@redhat.com>
Date:   Tue Oct 27 09:54:25 2020 -0400

    analyzer: don't assume extern const vars are zero-initialized [PR97568]

    gcc/analyzer/ChangeLog:
            PR analyzer/97568
            * region-model.cc (region_model::get_initial_value_for_global):
            Move check that !DECL_EXTERNAL from here to...
            * region.cc (decl_region::get_svalue_for_initializer): ...here,
            using it to reject zero initialization.

    gcc/testsuite/ChangeLog:
            PR analyzer/97568
            * gcc.dg/analyzer/pr97568.c: New test.