diff options
| author | Alexandre Oliva <oliva@adacore.com> | 2023-12-07 00:38:18 -0300 |
|---|---|---|
| committer | Alexandre Oliva <oliva@gnu.org> | 2023-12-07 00:38:18 -0300 |
| commit | 3cbab07b08d2f3a3ed34b6ec12e67727c59d285c (patch) | |
| tree | 33798ed79e792ea0ba76f6b6722f376586888335 /gcc/expr.cc | |
| parent | 3d0f3382fa7b5677f35a9becf75ac436cd7eda7b (diff) | |
| download | gcc-3cbab07b08d2f3a3ed34b6ec12e67727c59d285c.zip gcc-3cbab07b08d2f3a3ed34b6ec12e67727c59d285c.tar.gz gcc-3cbab07b08d2f3a3ed34b6ec12e67727c59d285c.tar.bz2 | |
analyzer: deal with -fshort-enums
On platforms that enable -fshort-enums by default, various switch-enum
analyzer tests fail, because apply_constraints_for_gswitch doesn't
expect the integral promotion type cast. I've arranged for the code
to cope with those casts.
for gcc/analyzer/ChangeLog
* region-model.cc (has_nondefault_case_for_value_p): Take
enumerate type as a parameter.
(region_model::apply_constraints_for_gswitch): Cope with
integral promotion type casts.
for gcc/testsuite/ChangeLog
* gcc.dg/analyzer/switch-short-enum-1.c: New.
* gcc.dg/analyzer/switch-no-short-enum-1.c: New.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions