bpo-31338 (#3374)
* Add Py_UNREACHABLE() as an alias to abort().
* Use Py_UNREACHABLE() instead of assert(0)
* Convert more unreachable code to use Py_UNREACHABLE()
* Document Py_UNREACHABLE() and a few other macros.
diff --git a/Objects/unicodeobject.c b/Objects/unicodeobject.c
index c4d93fc..bb1c083 100644
--- a/Objects/unicodeobject.c
+++ b/Objects/unicodeobject.c
@@ -768,7 +768,7 @@
BLOOM_UPDATE(Py_UCS4, mask, ptr, len);
break;
default:
- assert(0);
+ Py_UNREACHABLE();
}
return mask;
@@ -869,8 +869,7 @@
else
return ucs4lib_rfind_char((Py_UCS4 *) s, size, ch);
default:
- assert(0);
- return -1;
+ Py_UNREACHABLE();
}
}
@@ -1520,8 +1519,7 @@
);
}
else {
- assert(0);
- return -1;
+ Py_UNREACHABLE();
}
}
else {
@@ -2079,7 +2077,7 @@
#endif
break;
default:
- assert(0 && "Impossible state");
+ Py_UNREACHABLE();
}
return unicode_result(unicode);
@@ -2172,8 +2170,7 @@
case PyUnicode_4BYTE_KIND:
return 0x10000;
default:
- assert(0 && "invalid kind");
- return MAX_UNICODE;
+ Py_UNREACHABLE();
}
}
@@ -2317,8 +2314,7 @@
case PyUnicode_4BYTE_KIND:
return ucs4lib_find_max_char(startptr, endptr);
default:
- assert(0);
- return 0;
+ Py_UNREACHABLE();
}
}
@@ -4068,7 +4064,7 @@
*w = *four_bytes;
if (w > wchar_end) {
- assert(0 && "Miscalculated string end");
+ Py_UNREACHABLE();
}
}
*w = 0;
@@ -4120,7 +4116,7 @@
#endif
}
else {
- assert(0 && "This should never happen.");
+ Py_UNREACHABLE();
}
}
}
@@ -5134,7 +5130,7 @@
#endif
if (ch > 0xFF) {
#if SIZEOF_WCHAR_T == 4
- assert(0);
+ Py_UNREACHABLE();
#else
assert(ch > 0xFFFF && ch <= MAX_UNICODE);
/* compute and append the two surrogates: */
@@ -5187,7 +5183,7 @@
switch (kind) {
default:
- assert(0);
+ Py_UNREACHABLE();
case PyUnicode_1BYTE_KIND:
/* the string cannot be ASCII, or PyUnicode_UTF8() would be set */
assert(!PyUnicode_IS_ASCII(unicode));
@@ -9294,7 +9290,7 @@
result = ucs4lib_find_slice(buf1, len1, buf2, len2, start, end);
break;
default:
- assert(0); result = -2;
+ Py_UNREACHABLE();
}
}
else {
@@ -9312,7 +9308,7 @@
result = ucs4lib_rfind_slice(buf1, len1, buf2, len2, start, end);
break;
default:
- assert(0); result = -2;
+ Py_UNREACHABLE();
}
}
@@ -9386,8 +9382,7 @@
(Py_UCS4 *) thousands_sep_data, thousands_sep_len);
break;
default:
- assert(0);
- return -1;
+ Py_UNREACHABLE();
}
if (unicode != NULL && thousands_sep_kind != kind) {
if (thousands_sep_kind < kind)
@@ -9465,7 +9460,7 @@
);
break;
default:
- assert(0); result = 0;
+ Py_UNREACHABLE();
}
if (kind2 != kind1)
@@ -9881,8 +9876,7 @@
memcpy(outdata, tmp, sizeof(Py_UCS4) * newlength);
break;
default:
- assert(0);
- break;
+ Py_UNREACHABLE();
}
leave:
PyMem_FREE(tmp);
@@ -10105,7 +10099,7 @@
for (; i_ < (length); ++i_, ++to_) *to_ = (value); \
break; \
} \
- default: assert(0); \
+ default: Py_UNREACHABLE(); \
} \
} while (0)
@@ -10229,8 +10223,7 @@
PyUnicode_GET_LENGTH(string), keepends);
break;
default:
- assert(0);
- list = 0;
+ Py_UNREACHABLE();
}
return list;
}
@@ -10275,8 +10268,7 @@
PyUnicode_GET_LENGTH(self), maxcount
);
default:
- assert(0);
- return NULL;
+ Py_UNREACHABLE();
}
if (PyUnicode_READY(substring) == -1)
@@ -10367,8 +10359,7 @@
PyUnicode_GET_LENGTH(self), maxcount
);
default:
- assert(0);
- return NULL;
+ Py_UNREACHABLE();
}
if (PyUnicode_READY(substring) == -1)
@@ -10434,8 +10425,7 @@
case PyUnicode_4BYTE_KIND:
return ucs4lib_find(buf1, len1, buf2, len2, offset);
}
- assert(0);
- return -1;
+ Py_UNREACHABLE();
}
static Py_ssize_t
@@ -10453,8 +10443,7 @@
case PyUnicode_4BYTE_KIND:
return ucs4lib_count(sbuf, slen, buf1, len1, maxcount);
}
- assert(0);
- return 0;
+ Py_UNREACHABLE();
}
static void
@@ -10909,7 +10898,7 @@
COMPARE(Py_UCS1, Py_UCS4);
break;
default:
- assert(0);
+ Py_UNREACHABLE();
}
break;
}
@@ -10928,7 +10917,7 @@
COMPARE(Py_UCS2, Py_UCS4);
break;
default:
- assert(0);
+ Py_UNREACHABLE();
}
break;
}
@@ -10956,12 +10945,12 @@
break;
}
default:
- assert(0);
+ Py_UNREACHABLE();
}
break;
}
default:
- assert(0);
+ Py_UNREACHABLE();
}
if (len1 == len2)
@@ -11285,8 +11274,7 @@
result = ucs4lib_find(buf1, len1, buf2, len2, 0) != -1;
break;
default:
- result = -1;
- assert(0);
+ Py_UNREACHABLE();
}
if (kind2 != kind1)
@@ -11511,7 +11499,7 @@
);
break;
default:
- assert(0); iresult = 0;
+ Py_UNREACHABLE();
}
result = PyLong_FromSsize_t(iresult);
@@ -12985,8 +12973,7 @@
out = ucs4lib_partition(str_obj, buf1, len1, sep_obj, buf2, len2);
break;
default:
- assert(0);
- out = 0;
+ Py_UNREACHABLE();
}
if (kind2 != kind1)
@@ -13043,8 +13030,7 @@
out = ucs4lib_rpartition(str_obj, buf1, len1, sep_obj, buf2, len2);
break;
default:
- assert(0);
- out = 0;
+ Py_UNREACHABLE();
}
if (kind2 != kind1)
@@ -13627,8 +13613,7 @@
case PyUnicode_2BYTE_KIND: maxchar = 0xffff; break;
case PyUnicode_4BYTE_KIND: maxchar = 0x10ffff; break;
default:
- assert(0 && "invalid kind");
- return -1;
+ Py_UNREACHABLE();
}
return _PyUnicodeWriter_PrepareInternal(writer, 0, maxchar);
@@ -13770,7 +13755,7 @@
break;
}
default:
- assert(0);
+ Py_UNREACHABLE();
}
writer->pos += len;
@@ -14204,7 +14189,7 @@
switch (type) {
default:
- assert(!"'type' not in [diuoxX]");
+ Py_UNREACHABLE();
case 'd':
case 'i':
case 'u':
@@ -14362,7 +14347,7 @@
switch(type)
{
default:
- assert(0 && "'type' not in [diuoxX]");
+ Py_UNREACHABLE();
case 'd':
case 'i':
case 'u':
@@ -15373,8 +15358,7 @@
for (i = 0; i < n; i++) {
s = PyList_GET_ITEM(keys, i);
if (PyUnicode_READY(s) == -1) {
- assert(0 && "could not ready string");
- fprintf(stderr, "could not ready string\n");
+ Py_UNREACHABLE();
}
switch (PyUnicode_CHECK_INTERNED(s)) {
case SSTATE_NOT_INTERNED: