diff options
Diffstat (limited to 'gcc/flag-types.h')
| -rw-r--r-- | gcc/flag-types.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/flag-types.h b/gcc/flag-types.h index caf4039f9df..ed00046c8ee 100644 --- a/gcc/flag-types.h +++ b/gcc/flag-types.h @@ -229,9 +229,11 @@ enum sanitize_code { SANITIZE_BOOL = 1 << 10, SANITIZE_ENUM = 1 << 11, SANITIZE_FLOAT_DIVIDE = 1 << 12, + SANITIZE_FLOAT_CAST = 1 << 13, SANITIZE_UNDEFINED = SANITIZE_SHIFT | SANITIZE_DIVIDE | SANITIZE_UNREACHABLE | SANITIZE_VLA | SANITIZE_NULL | SANITIZE_RETURN - | SANITIZE_SI_OVERFLOW | SANITIZE_BOOL | SANITIZE_ENUM + | SANITIZE_SI_OVERFLOW | SANITIZE_BOOL | SANITIZE_ENUM, + SANITIZE_NONDEFAULT = SANITIZE_FLOAT_DIVIDE | SANITIZE_FLOAT_CAST }; /* flag_vtable_verify initialization levels. */ |