#include constexpr bool is_sorted(int a[], size_t from, size_t to) { for (; from < to - 1; ++from) if (a[from] > a[from + 1]) return false; return true; } static_assert([]() { int a[] = {12, 82, 347, 92, 74, 123, 0, 56}; const size_t a_len = sizeof(a) / sizeof(int); qsort(a, 0, a_len - 1); return is_sorted(a, 0, a_len - 1); }());