aboutsummaryrefslogtreecommitdiff
path: root/gcc/d/dmd/expressionsem.c
diff options
context:
space:
mode:
authorIain Buclaw <ibuclaw@gdcproject.org>2020-06-05 19:27:29 +0200
committerIain Buclaw <ibuclaw@gdcproject.org>2020-06-05 20:13:50 +0200
commit0cdc55f5ed881436c49d313b6cead244bdcf0654 (patch)
treef3ac3c20cabb0912a167dd0aecc8c034b2194fea /gcc/d/dmd/expressionsem.c
parent5094c4400a8687dcf44f5993aee3a88e98519f3b (diff)
downloadgcc-0cdc55f5ed881436c49d313b6cead244bdcf0654.zip
gcc-0cdc55f5ed881436c49d313b6cead244bdcf0654.tar.gz
gcc-0cdc55f5ed881436c49d313b6cead244bdcf0654.tar.bz2
d: Merge upstream dmd f5638c7b8.
Adds a CHECKENABLE enum, uses it for all contract parameters for consistency in state checking. gcc/d/ChangeLog: * dmd/MERGE: Merge upstream dmd f5638c7b8. * d-builtins.cc (d_init_versions): Use new CHECKENABLE enum. * d-codegen.cc (array_bounds_check): Likewise. (build_frame_type): Likewise. (get_frameinfo): Likewise. * d-lang.cc (d_init_options): Likewise. (d_init_options_struct): Don't initialize x_flag_bounds_check. (d_handle_option): Use new CHECKENABLE enum. (d_post_options): Likewise. Set flag_bounds_check here. * expr.cc (ExprVisitor::visit(AssertExp *)): Use new CHECKENABLE enum.
Diffstat (limited to 'gcc/d/dmd/expressionsem.c')
-rw-r--r--gcc/d/dmd/expressionsem.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/d/dmd/expressionsem.c b/gcc/d/dmd/expressionsem.c
index ffcfeb4..75e4d13 100644
--- a/gcc/d/dmd/expressionsem.c
+++ b/gcc/d/dmd/expressionsem.c
@@ -2451,7 +2451,7 @@ public:
sc->fieldinit[i] |= CSXhalt;
}
- if (!global.params.useAssert)
+ if (global.params.useAssert == CHECKENABLEoff)
{
Expression *e = new HaltExp(exp->loc);
e = semantic(e, sc);