From afe4369f6e1100fbacc0eb60a8d838dd0411850a Mon Sep 17 00:00:00 2001 From: gingerBill Date: Mon, 26 Jan 2026 15:37:54 +0000 Subject: Add `#+feature force-type-assert` which overrides `-no-type-assert` on a per-file basis --- src/build_settings.cpp | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src/build_settings.cpp') diff --git a/src/build_settings.cpp b/src/build_settings.cpp index 7d43788cd..e66d46713 100644 --- a/src/build_settings.cpp +++ b/src/build_settings.cpp @@ -360,12 +360,15 @@ enum OptInFeatureFlags : u64 { OptInFeatureFlag_IntegerDivisionByZero_Self = 1u<<4, OptInFeatureFlag_IntegerDivisionByZero_AllBits = 1u<<5, - OptInFeatureFlag_IntegerDivisionByZero_ALL = OptInFeatureFlag_IntegerDivisionByZero_Trap| OptInFeatureFlag_IntegerDivisionByZero_Zero| OptInFeatureFlag_IntegerDivisionByZero_Self| OptInFeatureFlag_IntegerDivisionByZero_AllBits, + OptInFeatureFlag_ForceTypeAssert = 1u<<6, + + + }; u64 get_feature_flag_from_name(String const &name) { @@ -384,6 +387,9 @@ u64 get_feature_flag_from_name(String const &name) { if (name == "integer-division-by-zero:all-bits") { return OptInFeatureFlag_IntegerDivisionByZero_AllBits; } + if (name == "force-type-assert") { + return OptInFeatureFlag_ForceTypeAssert; + } if (name == "global-context") { -- cgit v1.2.3