Ban UB at CTFE

Bolpat · web-flow · commit 2e9c181404be · 2025-02-10T13:48:25.000+01:00
diff --git a/spec/function.dd b/spec/function.dd
@@ -3595,6 +3595,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:)
@@ -3681,7 +3683,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
`@@ -3595,6 +3595,8 @@ void main()`
`3595`	`3595`	`Casts between signed and unsigned types are permitted.)`
`3596`	`3596`
`3597`	`3597`	`$(LI Reinterpretation of overlapped fields in a union is not permitted.)`
	`3598`	`+`
	`3599`	`+ $(LI Undefined behavior must not occur.)`
`3598`	`3600`	`)`
`3599`	`3601`
`3600`	`3602`	`$(P Pointers are permitted in CTFE, provided they are used safely:)`
`@@ -3681,7 +3683,7 @@ static assert(countTen(12) == 12); // invalid, modifies y.`
`3681`	`3683`
`3682`	`3684`	`$(IMPLEMENTATION_DEFINED`
`3683`	`3685`	`Functions executed via CTFE can give different results`
`3684`		`- from run time when implementation-defined or undefined-behavior occurs.`
	`3686`	`+ from run time when implementation-defined occurs.`
`3685`	`3687`	`)`
`3686`	`3688`
`3687`	`3689`