diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-10-27 09:54:25 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-10-27 09:56:25 -0400 |
| commit | 16ad9ae85bb5b9acf80f9d1cf2be5a989ef7ba49 (patch) | |
| tree | 8e134356ff4d967b99e1cde3c99be3c795151454 /libgo/go | |
| parent | 942086bf73ee2ba6cfd7fdacc552940048437a6e (diff) | |
| download | gcc-16ad9ae85bb5b9acf80f9d1cf2be5a989ef7ba49.zip gcc-16ad9ae85bb5b9acf80f9d1cf2be5a989ef7ba49.tar.gz gcc-16ad9ae85bb5b9acf80f9d1cf2be5a989ef7ba49.tar.bz2 | |
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.
Diffstat (limited to 'libgo/go')
0 files changed, 0 insertions, 0 deletions