Merge pull request #4167 from Bolpat/patch-1

dkorpel · web-flow · commit 09709434577f · 2025-03-21T15:06:36.000+01:00
Ban undefined behavior at CTFE
diff --git a/spec/function.dd b/spec/function.dd
@@ -3596,6 +3596,8 @@ void main()
         Casts between signed and unsigned types are permitted.)
 
     $(LI Reinterpretation of overlapped fields in a union is not permitted.)
+
+    $(LI Undefined behavior must not occur.)
     )
 
     $(P Pointers are permitted in CTFE, provided they are used safely:)
@@ -3682,7 +3684,7 @@ static assert(countTen(12) == 12);  // invalid, modifies y.
 
     $(IMPLEMENTATION_DEFINED
     Functions executed via CTFE can give different results
-    from run time when implementation-defined or undefined-behavior occurs.
+    from run time when implementation-defined occurs.
     )
 
 

Original file line number	Diff line number	Diff line change
`@@ -3596,6 +3596,8 @@ void main()`
`3596`	`3596`	`Casts between signed and unsigned types are permitted.)`
`3597`	`3597`
`3598`	`3598`	`$(LI Reinterpretation of overlapped fields in a union is not permitted.)`
	`3599`	`+`
	`3600`	`+ $(LI Undefined behavior must not occur.)`
`3599`	`3601`	`)`
`3600`	`3602`
`3601`	`3603`	`$(P Pointers are permitted in CTFE, provided they are used safely:)`
`@@ -3682,7 +3684,7 @@ static assert(countTen(12) == 12); // invalid, modifies y.`
`3682`	`3684`
`3683`	`3685`	`$(IMPLEMENTATION_DEFINED`
`3684`	`3686`	`Functions executed via CTFE can give different results`
`3685`		`- from run time when implementation-defined or undefined-behavior occurs.`
	`3687`	`+ from run time when implementation-defined occurs.`
`3686`	`3688`	`)`
`3687`	`3689`
`3688`	`3690`