diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-04-02 17:42:16 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-04-02 17:42:16 -0400 |
| commit | e945d322fcbc68f91388b1d1297bdf6a6c6fcbaa (patch) | |
| tree | b7b6363a0616a78a1a8b6bb2b6989d125e96cd60 /gnattools/Makefile.in | |
| parent | 21aa57e73b820395b7b01843d61ef5b84cd20d02 (diff) | |
| download | gcc-e945d322fcbc68f91388b1d1297bdf6a6c6fcbaa.zip gcc-e945d322fcbc68f91388b1d1297bdf6a6c6fcbaa.tar.gz gcc-e945d322fcbc68f91388b1d1297bdf6a6c6fcbaa.tar.bz2 | |
analyzer: prevent ICEs with null types
Fixes some ICEs seen analyzing the Linux kernel.
gcc/analyzer/ChangeLog:
* region-model-manager.cc (maybe_undo_optimize_bit_field_compare):
Guard against null types.
* region-model.cc (apply_constraints_for_gswitch): Likewise.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gnattools/Makefile.in')
0 files changed, 0 insertions, 0 deletions