Use ZEND_UNREACHABLE() instead of ZEND_ASSERT(0)

cmb69 · cmb69 · commit 92c4b0651368 · 2020-06-16T18:39:09.000+02:00
Instead of marking unreachable code with `ZEND_ASSERT(0)`, we introduce `ZEND_UNREACHABLE()`, so that MSVC which does not consider `assert(0)` to mark unreachable code does no longer trigger C4715[1] warnings in debug builds. This may be useful for other compilers as well. [1] <https://docs.microsoft.com/de-de/cpp/error-messages/compiler-warnings/compiler-warning-level-1-c4715?view=vs-2019>
diff --git a/Zend/zend.c b/Zend/zend.c
@@ -529,7 +529,7 @@ static void zend_get_windows_version_info(OSVERSIONINFOEX *osvi) /* {{{ */
 	ZeroMemory(osvi, sizeof(OSVERSIONINFOEX));
 	osvi->dwOSVersionInfoSize = sizeof(OSVERSIONINFOEX);
 	if(!GetVersionEx((OSVERSIONINFO *) osvi)) {
-		ZEND_ASSERT(0); /* Should not happen as sizeof is used. */
+		ZEND_UNREACHABLE(); /* Should not happen as sizeof is used. */
 	}
 }
 /* }}} */
@@ -1718,7 +1718,7 @@ ZEND_API void *zend_map_ptr_new(void)
 	if (CG(map_ptr_last) >= CG(map_ptr_size)) {
 #if ZEND_MAP_PTR_KIND == ZEND_MAP_PTR_KIND_PTR
 		// TODO: error ???
-		ZEND_ASSERT(0);
+		ZEND_UNREACHABLE();
 #elif ZEND_MAP_PTR_KIND == ZEND_MAP_PTR_KIND_PTR_OR_OFFSET
 		/* Grow map_ptr table */
 		CG(map_ptr_size) = ZEND_MM_ALIGNED_SIZE_EX(CG(map_ptr_last) + 1, 4096);
@@ -1747,7 +1747,7 @@ ZEND_API void zend_map_ptr_extend(size_t last)
 		if (last >= CG(map_ptr_size)) {
 #if ZEND_MAP_PTR_KIND == ZEND_MAP_PTR_KIND_PTR
 			/* This may never happen */
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 #elif ZEND_MAP_PTR_KIND == ZEND_MAP_PTR_KIND_PTR_OR_OFFSET
 			/* Grow map_ptr table */
 			CG(map_ptr_size) = ZEND_MM_ALIGNED_SIZE_EX(last, 4096);
diff --git a/Zend/zend_ast.c b/Zend/zend_ast.c
@@ -1465,7 +1465,7 @@ static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int prio
 			break;
 		case ZEND_AST_ZNODE:
 			/* This AST kind is only used for temporary nodes during compilation */
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 			break;
 
 		/* declaration nodes */
diff --git a/Zend/zend_compile.c b/Zend/zend_compile.c
@@ -1903,7 +1903,7 @@ zend_ast *zend_negate_num_string(zend_ast *ast) /* {{{ */
 		memmove(Z_STRVAL_P(zv) + 1, Z_STRVAL_P(zv), orig_len + 1);
 		Z_STRVAL_P(zv)[0] = '-';
 	} else {
-		ZEND_ASSERT(0);
+		ZEND_UNREACHABLE();
 	}
 	return ast;
 }
@@ -2258,7 +2258,7 @@ static void zend_compile_memoized_expr(znode *result, zend_ast *expr) /* {{{ */
 			Z_TRY_ADDREF(result->u.constant);
 		}
 	} else {
-		ZEND_ASSERT(0);
+		ZEND_UNREACHABLE();
 	}
 }
 /* }}} */
diff --git a/Zend/zend_hash.c b/Zend/zend_hash.c
@@ -68,7 +68,7 @@ static void _zend_is_inconsistent(const HashTable *ht, const char *file, int lin
 			zend_output_debug_string(1, "%s(%d) : ht=%p is inconsistent", file, line, ht);
 			break;
 	}
-	ZEND_ASSERT(0);
+	ZEND_UNREACHABLE();
 }
 #define IS_CONSISTENT(a) _zend_is_inconsistent(a, __FILE__, __LINE__);
 #define SET_INCONSISTENT(n) do { \
diff --git a/Zend/zend_inheritance.c b/Zend/zend_inheritance.c
@@ -1280,7 +1280,7 @@ ZEND_API void zend_do_inheritance_ex(zend_class_entry *ce, zend_class_entry *par
 				zend_class_init_statics(parent_ce);
 			}
 			if (UNEXPECTED(zend_update_class_constants(parent_ce) != SUCCESS)) {
-				ZEND_ASSERT(0);
+				ZEND_UNREACHABLE();
 			}
 			src = CE_STATIC_MEMBERS(parent_ce) + parent_ce->default_static_members_count;
 			do {
diff --git a/Zend/zend_object_handlers.c b/Zend/zend_object_handlers.c
@@ -1757,7 +1757,7 @@ ZEND_API HashTable *zend_std_get_properties_for(zend_object *obj, zend_prop_purp
 			}
 			return ht;
 		default:
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 			return NULL;
 	}
 }
diff --git a/Zend/zend_opcode.c b/Zend/zend_opcode.c
@@ -631,7 +631,7 @@ static void emit_live_range(
 		case ZEND_ADD_ARRAY_ELEMENT:
 		case ZEND_ADD_ARRAY_UNPACK:
 		case ZEND_ROPE_ADD:
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 			return;
 		/* Result is boolean, it doesn't have to be destroyed. */
 		case ZEND_JMPZ_EX:
@@ -1131,7 +1131,7 @@ ZEND_API binary_op_type get_binary_op(int opcode)
 		case ZEND_BOOL_XOR:
 			return (binary_op_type) boolean_xor_function;
 		default:
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 			return (binary_op_type) NULL;
 	}
 }
diff --git a/Zend/zend_operators.c b/Zend/zend_operators.c
@@ -2089,7 +2089,7 @@ ZEND_API int ZEND_FASTCALL zend_compare(zval *op1, zval *op2) /* {{{ */
 				} else if (Z_TYPE_P(op2)==IS_ARRAY) {
 					return -1;
 				} else {
-					ZEND_ASSERT(0);
+					ZEND_UNREACHABLE();
 					zend_throw_error(NULL, "Unsupported operand types");
 					return 1;
 				}
diff --git a/Zend/zend_portability.h b/Zend/zend_portability.h
@@ -107,14 +107,16 @@
 # define ZEND_ASSERT(c) ZEND_ASSUME(c)
 #endif
 
-/* Only use this macro if you know for sure that all of the switches values
-   are covered by its case statements */
 #if ZEND_DEBUG
-# define EMPTY_SWITCH_DEFAULT_CASE() default: ZEND_ASSERT(0); break;
+# define ZEND_UNREACHABLE() do {ZEND_ASSERT(0); ZEND_ASSUME(0);} while (0)
 #else
-# define EMPTY_SWITCH_DEFAULT_CASE() default: ZEND_ASSUME(0); break;
+# define ZEND_UNREACHABLE() ZEND_ASSUME(0)
 #endif
 
+/* Only use this macro if you know for sure that all of the switches values
+   are covered by its case statements */
+#define EMPTY_SWITCH_DEFAULT_CASE() default: ZEND_UNREACHABLE(); break;
+
 #if defined(__GNUC__) && __GNUC__ >= 4
 # define ZEND_IGNORE_VALUE(x) (({ __typeof__ (x) __x = (x); (void) __x; }))
 #else
diff --git a/ext/ffi/ffi.c b/ext/ffi/ffi.c
@@ -1504,7 +1504,7 @@ static int zend_ffi_ctype_name(zend_ffi_ctype_name_buf *buf, const zend_ffi_type
 				}
 				break;
 			default:
-				ZEND_ASSERT(0);
+				ZEND_UNREACHABLE();
 		}
 		if (name) {
 			break;
@@ -1992,7 +1992,7 @@ static HashTable *zend_ffi_cdata_get_debug_info(zend_object *obj, int *is_temp)
 			return ht;
 			break;
 		default:
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 			break;
 	}
 	return NULL;
@@ -5364,7 +5364,7 @@ void zend_ffi_resolve_const(const char *name, size_t name_len, zend_ffi_val *val
 					val->kind = ZEND_FFI_VAL_UINT64;
 					break;
 				default:
-					ZEND_ASSERT(0);
+					ZEND_UNREACHABLE();
 			}
 			return;
 		}
@@ -6185,7 +6185,7 @@ void zend_ffi_declare_tag(const char *name, size_t name_len, zend_ffi_dcl *dcl,
 				return;
 			}
 		} else {
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 			return;
 		}
 		dcl->type = type;
@@ -6212,7 +6212,7 @@ void zend_ffi_declare_tag(const char *name, size_t name_len, zend_ffi_dcl *dcl,
 			type = ZEND_FFI_TYPE(dcl->type);
 			type->enumeration.tag_name = zend_string_copy(tag_name);
 		} else {
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 		}
 		tag->type = ZEND_FFI_TYPE_MAKE_OWNED(dcl->type);
 		dcl->type = ZEND_FFI_TYPE(dcl->type);
@@ -6511,7 +6511,7 @@ static int zend_ffi_nested_type(zend_ffi_type *type, zend_ffi_type *nested_type)
 			}
 			break;
 		default:
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 	}
 }
 /* }}} */
diff --git a/ext/gd/gd.c b/ext/gd/gd.c
@@ -1872,7 +1872,7 @@ static void _php_image_output(INTERNAL_FUNCTION_PARAMETERS, int image_type, char
 				(*func_p)(im, fp, q, t);
 				break;
 			default:
-				ZEND_ASSERT(0);
+				ZEND_UNREACHABLE();
 		}
 		fflush(fp);
 		fclose(fp);
@@ -1899,7 +1899,7 @@ static void _php_image_output(INTERNAL_FUNCTION_PARAMETERS, int image_type, char
 				(*func_p)(im, tmp, q, t);
 				break;
 			default:
-				ZEND_ASSERT(0);
+				ZEND_UNREACHABLE();
 		}
 
 		fseek(tmp, 0, SEEK_SET);
diff --git a/ext/opcache/Optimizer/optimize_func_calls.c b/ext/opcache/Optimizer/optimize_func_calls.c
@@ -214,7 +214,7 @@ void zend_optimize_func_calls(zend_op_array *op_array, zend_optimizer_ctx *ctx)
 							|| fcall->opcode == ZEND_NEW) {
 						/* We don't have specialized opcodes for this, do nothing */
 					} else {
-						ZEND_ASSERT(0);
+						ZEND_UNREACHABLE();
 					}
 
 					if ((ZEND_OPTIMIZER_PASS_16 & ctx->optimization_level)
diff --git a/ext/opcache/Optimizer/sccp.c b/ext/opcache/Optimizer/sccp.c
@@ -267,7 +267,7 @@ static zend_bool can_replace_op1(
 				(opline - 1)->opcode != ZEND_ASSIGN_STATIC_PROP_REF;
 		default:
 			if (ssa_op->op1_def != -1) {
-				ZEND_ASSERT(0);
+				ZEND_UNREACHABLE();
 				return 0;
 			}
 	}
diff --git a/ext/opcache/Optimizer/scdf.h b/ext/opcache/Optimizer/scdf.h
@@ -86,7 +86,7 @@ static inline uint32_t scdf_edge(zend_cfg *cfg, int from, int to) {
 			return edge;
 		}
 	}
-	ZEND_ASSERT(0);
+	ZEND_UNREACHABLE();
 }
 
 static inline zend_bool scdf_is_edge_feasible(scdf_ctx *scdf, int from, int to) {
diff --git a/ext/opcache/Optimizer/zend_inference.c b/ext/opcache/Optimizer/zend_inference.c
@@ -3510,7 +3510,7 @@ static zend_always_inline int _zend_update_type_info(
 		case ZEND_CATCH:
 		case ZEND_INCLUDE_OR_EVAL:
 			/* Forbidden opcodes */
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 			break;
 		default:
 unknown_opcode:
diff --git a/ext/opcache/Optimizer/zend_optimizer.c b/ext/opcache/Optimizer/zend_optimizer.c
@@ -615,7 +615,7 @@ int zend_optimizer_replace_by_const(zend_op_array *op_array,
 								ZEND_ASSERT(opline->extended_value == ZEND_FREE_ON_RETURN);
 								MAKE_NOP(opline);
 							} else {
-								ZEND_ASSERT(0);
+								ZEND_UNREACHABLE();
 							}
 						}
 						opline++;
diff --git a/ext/opcache/Optimizer/zend_ssa.c b/ext/opcache/Optimizer/zend_ssa.c
@@ -1189,7 +1189,7 @@ int zend_ssa_unlink_use_chain(zend_ssa *ssa, int op, int var) /* {{{ */
 			}
 		}
 		/* something wrong */
-		ZEND_ASSERT(0);
+		ZEND_UNREACHABLE();
 		return 0;
 	}
 }
@@ -1238,7 +1238,7 @@ static inline zend_ssa_phi **zend_ssa_next_use_phi_ptr(zend_ssa *ssa, int var, z
 			}
 		}
 	}
-	ZEND_ASSERT(0);
+	ZEND_UNREACHABLE();
 	return NULL;
 }
 /* }}} */
diff --git a/ext/opcache/jit/zend_jit.c b/ext/opcache/jit/zend_jit.c
@@ -3373,7 +3373,7 @@ ZEND_EXT_API int zend_jit_op_array(zend_op_array *op_array, zend_script *script)
 			return SUCCESS;
 		}
 	} else {
-		ZEND_ASSERT(0);
+		ZEND_UNREACHABLE();
 	}
 }
 
@@ -3485,7 +3485,7 @@ ZEND_EXT_API int zend_jit_script(zend_script *script)
 			ZEND_SET_FUNC_INFO(call_graph.op_arrays[i], NULL);
 		}
 	} else {
-		ZEND_ASSERT(0);
+		ZEND_UNREACHABLE();
 	}
 
 	zend_arena_release(&CG(arena), checkpoint);
diff --git a/ext/opcache/jit/zend_jit_internal.h b/ext/opcache/jit/zend_jit_internal.h
@@ -451,10 +451,10 @@ static zend_always_inline const zend_op* zend_jit_trace_get_exit_opline(zend_jit
 			*exit_if_true = opline->opcode == ZEND_JMPZ;
 			return opline + 1;
 		} else {
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 		}
 	} else  {
-		ZEND_ASSERT(0);
+		ZEND_UNREACHABLE();
 	}
 	*exit_if_true = 0;
 	return NULL;
@@ -476,7 +476,7 @@ static zend_always_inline zend_bool zend_jit_may_be_polymorphic_call(const zend_
 	} else if (opline->opcode == ZEND_NEW) {
 		return (opline->op1_type != IS_CONST);
 	} else {
-		ZEND_ASSERT(0);
+		ZEND_UNREACHABLE();
 		return 0;
 	}
 }
diff --git a/ext/opcache/jit/zend_jit_trace.c b/ext/opcache/jit/zend_jit_trace.c
@@ -41,7 +41,7 @@ static zend_always_inline const char *zend_jit_trace_star_desc(uint8_t trace_fla
 	} else if (trace_flags & ZEND_JIT_TRACE_START_RETURN) {
 		return "return";
 	} else {
-		ZEND_ASSERT(0);
+		ZEND_UNREACHABLE();
 		return "???";
 	}
 }
@@ -212,7 +212,7 @@ static uint32_t zend_jit_find_trace(const void *addr)
 			return i;
 		}
 	}
-	ZEND_ASSERT(0);
+	ZEND_UNREACHABLE();
 	return 0;
 }
 
@@ -2711,7 +2711,7 @@ static const void *zend_jit_trace(zend_jit_trace_rec *trace_buffer, uint32_t par
 			} else if (i < parent_vars_count
 			 && STACK_TYPE(parent_stack, i) != IS_UNKNOWN) {
 				/* This must be already handled by trace type inference */
-				ZEND_ASSERT(0);
+				ZEND_UNREACHABLE();
 				SET_STACK_TYPE(stack, i, STACK_TYPE(parent_stack, i));
 			} else if ((info & MAY_BE_GUARD) != 0
 			 && trace_buffer->stop == ZEND_JIT_TRACE_STOP_LOOP
@@ -2729,7 +2729,7 @@ static const void *zend_jit_trace(zend_jit_trace_rec *trace_buffer, uint32_t par
 			 && op_array->function_name
 			 && i >= op_array->num_args) {
 				/* This must be already handled by trace type inference */
-				ZEND_ASSERT(0);
+				ZEND_UNREACHABLE();
 				SET_STACK_TYPE(stack, i, IS_UNDEF);
 			} else {
 				SET_STACK_TYPE(stack, i, IS_UNKNOWN);
@@ -3574,7 +3574,7 @@ static const void *zend_jit_trace(zend_jit_trace_rec *trace_buffer, uint32_t par
 								smart_branch_opcode = opline->opcode;
 								exit_opline = OP_JMP_ADDR(opline, opline->op2);
 							} else {
-								ZEND_ASSERT(0);
+								ZEND_UNREACHABLE();
 							}
 							if (ra) {
 								zend_jit_trace_clenup_stack(stack, opline, ssa_op, ssa, ra);
@@ -3585,7 +3585,7 @@ static const void *zend_jit_trace(zend_jit_trace_rec *trace_buffer, uint32_t par
 								goto jit_failure;
 							}
 						} else  {
-							ZEND_ASSERT(0);
+							ZEND_UNREACHABLE();
 						}
 						if (opline->result_type == IS_UNDEF) {
 							res_addr = 0;
@@ -4234,7 +4234,7 @@ static const void *zend_jit_trace(zend_jit_trace_rec *trace_buffer, uint32_t par
 				frame->call = call->prev;
 			}
 		} else {
-			ZEND_ASSERT(0);
+			ZEND_UNREACHABLE();
 		}
 	}
 
@@ -5278,7 +5278,7 @@ int ZEND_FASTCALL zend_jit_trace_exit(uint32_t exit_num, zend_jit_registers_buf
 				} else if (STACK_REG(stack, i) == ZREG_LONG_MAX) {
 					val = ZEND_LONG_MAX;
 				} else {
-					ZEND_ASSERT(0);
+					ZEND_UNREACHABLE();
 				}
 				ZVAL_LONG(EX_VAR_NUM(i), val);
 			} else if (STACK_TYPE(stack, i) == IS_DOUBLE) {
@@ -5291,11 +5291,11 @@ int ZEND_FASTCALL zend_jit_trace_exit(uint32_t exit_num, zend_jit_registers_buf
 				} else if (STACK_REG(stack, i) == ZREG_LONG_MAX_PLUS_1) {
 					val = (double)ZEND_LONG_MAX + 1.0;
 				} else {
-					ZEND_ASSERT(0);
+					ZEND_UNREACHABLE();
 				}
 				ZVAL_DOUBLE(EX_VAR_NUM(i), val);
 			} else {
-				ZEND_ASSERT(0);
+				ZEND_UNREACHABLE();
 			}
 		}
 	}
diff --git a/ext/opcache/jit/zend_jit_x86.dasc b/ext/opcache/jit/zend_jit_x86.dasc
diff --git a/ext/session/session.c b/ext/session/session.c
diff --git a/ext/spl/spl_directory.c b/ext/spl/spl_directory.c
diff --git a/ext/spl/spl_heap.c b/ext/spl/spl_heap.c
diff --git a/sapi/fpm/fpm/fpm_php_trace.c b/sapi/fpm/fpm/fpm_php_trace.c
diff --git a/sapi/phpdbg/phpdbg_watch.c b/sapi/phpdbg/phpdbg_watch.c

Original file line number	Diff line number	Diff line change
`@@ -1903,7 +1903,7 @@ zend_ast zend_negate_num_string(zend_ast ast) /* {{{ */`
`1903`	`1903`	`memmove(Z_STRVAL_P(zv) + 1, Z_STRVAL_P(zv), orig_len + 1);`
`1904`	`1904`	`Z_STRVAL_P(zv)[0] = '-';`
`1905`	`1905`	`} else {`
`1906`		`- ZEND_ASSERT(0);`
	`1906`	`+ ZEND_UNREACHABLE();`
`1907`	`1907`	`}`
`1908`	`1908`	`return ast;`
`1909`	`1909`	`}`
`@@ -2258,7 +2258,7 @@ static void zend_compile_memoized_expr(znode result, zend_ast expr) /* {{{ */`
`2258`	`2258`	`Z_TRY_ADDREF(result->u.constant);`
`2259`	`2259`	`}`
`2260`	`2260`	`} else {`
`2261`		`- ZEND_ASSERT(0);`
	`2261`	`+ ZEND_UNREACHABLE();`
`2262`	`2262`	`}`
`2263`	`2263`	`}`
`2264`	`2264`	`/* }}} */`
Original file line number	Diff line number	Diff line change
`@@ -68,7 +68,7 @@ static void _zend_is_inconsistent(const HashTable ht, const char file, int lin`
`68`	`68`	`zend_output_debug_string(1, "%s(%d) : ht=%p is inconsistent", file, line, ht);`
`69`	`69`	`break;`
`70`	`70`	`}`
`71`		`- ZEND_ASSERT(0);`
	`71`	`+ ZEND_UNREACHABLE();`
`72`	`72`	`}`
`73`	`73`	`#define IS_CONSISTENT(a) _zend_is_inconsistent(a, __FILE__, __LINE__);`
`74`	`74`	`#define SET_INCONSISTENT(n) do { \`
Original file line number	Diff line number	Diff line change
`@@ -1280,7 +1280,7 @@ ZEND_API void zend_do_inheritance_ex(zend_class_entry ce, zend_class_entry par`
`1280`	`1280`	`zend_class_init_statics(parent_ce);`
`1281`	`1281`	`}`
`1282`	`1282`	`if (UNEXPECTED(zend_update_class_constants(parent_ce) != SUCCESS)) {`
`1283`		`- ZEND_ASSERT(0);`
	`1283`	`+ ZEND_UNREACHABLE();`
`1284`	`1284`	`}`
`1285`	`1285`	`src = CE_STATIC_MEMBERS(parent_ce) + parent_ce->default_static_members_count;`
`1286`	`1286`	`do {`
Original file line number	Diff line number	Diff line change
`@@ -1757,7 +1757,7 @@ ZEND_API HashTable zend_std_get_properties_for(zend_object obj, zend_prop_purp`
`1757`	`1757`	`}`
`1758`	`1758`	`return ht;`
`1759`	`1759`	`default:`
`1760`		`- ZEND_ASSERT(0);`
	`1760`	`+ ZEND_UNREACHABLE();`
`1761`	`1761`	`return NULL;`
`1762`	`1762`	`}`
`1763`	`1763`	`}`
Original file line number	Diff line number	Diff line change
`@@ -2089,7 +2089,7 @@ ZEND_API int ZEND_FASTCALL zend_compare(zval op1, zval op2) /* {{{ */`
`2089`	`2089`	`} else if (Z_TYPE_P(op2)==IS_ARRAY) {`
`2090`	`2090`	`return -1;`
`2091`	`2091`	`} else {`
`2092`		`- ZEND_ASSERT(0);`
	`2092`	`+ ZEND_UNREACHABLE();`
`2093`	`2093`	`zend_throw_error(NULL, "Unsupported operand types");`
`2094`	`2094`	`return 1;`
`2095`	`2095`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1504,7 +1504,7 @@ static int zend_ffi_ctype_name(zend_ffi_ctype_name_buf *buf, const zend_ffi_type`
`1504`	`1504`	`}`
`1505`	`1505`	`break;`
`1506`	`1506`	`default:`
`1507`		`- ZEND_ASSERT(0);`
	`1507`	`+ ZEND_UNREACHABLE();`
`1508`	`1508`	`}`
`1509`	`1509`	`if (name) {`
`1510`	`1510`	`break;`
`@@ -1992,7 +1992,7 @@ static HashTable zend_ffi_cdata_get_debug_info(zend_object obj, int *is_temp)`
`1992`	`1992`	`return ht;`
`1993`	`1993`	`break;`
`1994`	`1994`	`default:`
`1995`		`- ZEND_ASSERT(0);`
	`1995`	`+ ZEND_UNREACHABLE();`
`1996`	`1996`	`break;`
`1997`	`1997`	`}`
`1998`	`1998`	`return NULL;`
`@@ -5364,7 +5364,7 @@ void zend_ffi_resolve_const(const char name, size_t name_len, zend_ffi_val val`
`5364`	`5364`	`val->kind = ZEND_FFI_VAL_UINT64;`
`5365`	`5365`	`break;`
`5366`	`5366`	`default:`
`5367`		`- ZEND_ASSERT(0);`
	`5367`	`+ ZEND_UNREACHABLE();`
`5368`	`5368`	`}`
`5369`	`5369`	`return;`
`5370`	`5370`	`}`
`@@ -6185,7 +6185,7 @@ void zend_ffi_declare_tag(const char name, size_t name_len, zend_ffi_dcl dcl,`
`6185`	`6185`	`return;`
`6186`	`6186`	`}`
`6187`	`6187`	`} else {`
`6188`		`- ZEND_ASSERT(0);`
	`6188`	`+ ZEND_UNREACHABLE();`
`6189`	`6189`	`return;`
`6190`	`6190`	`}`
`6191`	`6191`	`dcl->type = type;`
`@@ -6212,7 +6212,7 @@ void zend_ffi_declare_tag(const char name, size_t name_len, zend_ffi_dcl dcl,`
`6212`	`6212`	`type = ZEND_FFI_TYPE(dcl->type);`
`6213`	`6213`	`type->enumeration.tag_name = zend_string_copy(tag_name);`
`6214`	`6214`	`} else {`
`6215`		`- ZEND_ASSERT(0);`
	`6215`	`+ ZEND_UNREACHABLE();`
`6216`	`6216`	`}`
`6217`	`6217`	`tag->type = ZEND_FFI_TYPE_MAKE_OWNED(dcl->type);`
`6218`	`6218`	`dcl->type = ZEND_FFI_TYPE(dcl->type);`
`@@ -6511,7 +6511,7 @@ static int zend_ffi_nested_type(zend_ffi_type type, zend_ffi_type nested_type)`
`6511`	`6511`	`}`
`6512`	`6512`	`break;`
`6513`	`6513`	`default:`
`6514`		`- ZEND_ASSERT(0);`
	`6514`	`+ ZEND_UNREACHABLE();`
`6515`	`6515`	`}`
`6516`	`6516`	`}`
`6517`	`6517`	`/* }}} */`