diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-09-08 14:37:19 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-09-08 14:37:19 -0400 |
| commit | e66b9f6779f46433b0e2c093b58403604ed131cc (patch) | |
| tree | ab637db2e7048d40545e4be1964f4334b80eff19 /gcc/ada/par-prag.adb | |
| parent | 716a5836928ee6d8fb884d9a2fbc1b1386ec8994 (diff) | |
| download | gcc-e66b9f6779f46433b0e2c093b58403604ed131cc.zip gcc-e66b9f6779f46433b0e2c093b58403604ed131cc.tar.gz gcc-e66b9f6779f46433b0e2c093b58403604ed131cc.tar.bz2 | |
analyzer: fix ICE when discarding result of realloc [PR102225]
gcc/analyzer/ChangeLog:
PR analyzer/102225
* analyzer.h (compat_types_p): New decl.
* constraint-manager.cc
(constraint_manager::get_or_add_equiv_class): Guard against NULL
type when checking for pointer types.
* region-model-impl-calls.cc (region_model::impl_call_realloc):
Guard against NULL lhs type/region. Guard against the size value
not being of a compatible type for dynamic extents.
* region-model.cc (compat_types_p): Make non-static.
gcc/testsuite/ChangeLog:
PR analyzer/102225
* gcc.dg/analyzer/realloc-1.c (test_10): New.
* gcc.dg/analyzer/torture/pr102225.c: New test.
Diffstat (limited to 'gcc/ada/par-prag.adb')
0 files changed, 0 insertions, 0 deletions