239 #define COLAMD_ASSERT(expression) ((void) 0)  macro
790     COLAMD_ASSERT (deg >= 0 && deg <= n_col) ;  in init_scoring()
853       COLAMD_ASSERT (score >= 0) ;  in init_scoring()
854       COLAMD_ASSERT (score <= n_col) ;  in init_scoring()
890       COLAMD_ASSERT (min_score >= 0) ;  in init_scoring()
891       COLAMD_ASSERT (min_score <= n_col) ;  in init_scoring()
892       COLAMD_ASSERT (score >= 0) ;  in init_scoring()
893       COLAMD_ASSERT (score <= n_col) ;  in init_scoring()
894       COLAMD_ASSERT (head [score] >= COLAMD_EMPTY) ;  in init_scoring()
1002     COLAMD_ASSERT (min_score >= 0) ;  in find_ordering()
1003     COLAMD_ASSERT (min_score <= n_col) ;  in find_ordering()
1004     COLAMD_ASSERT (head [min_score] >= COLAMD_EMPTY) ;  in find_ordering()
1012     COLAMD_ASSERT (pivot_col >= 0 && pivot_col <= n_col) ;  in find_ordering()
1020     COLAMD_ASSERT (COL_IS_ALIVE (pivot_col)) ;  in find_ordering()
1032     COLAMD_ASSERT (pivot_col_thickness > 0) ;  in find_ordering()
1042       COLAMD_ASSERT (pfree + needed_memory < Alen) ;  in find_ordering()
1085 	  COLAMD_ASSERT (pfree < Alen) ;  in find_ordering()
1124       COLAMD_ASSERT (pivot_row_length == 0) ;  in find_ordering()
1126     COLAMD_ASSERT (Col [pivot_col].length > 0 || pivot_row_length == 0) ;  in find_ordering()
1160       COLAMD_ASSERT (COL_IS_ALIVE (col) && col != pivot_col) ;  in find_ordering()
1165       COLAMD_ASSERT (col_thickness > 0) ;  in find_ordering()
1173       COLAMD_ASSERT (cur_score >= 0) ;  in find_ordering()
1174       COLAMD_ASSERT (cur_score <= n_col) ;  in find_ordering()
1175       COLAMD_ASSERT (cur_score >= COLAMD_EMPTY) ;  in find_ordering()
1203 	COLAMD_ASSERT (row != pivot_row) ;  in find_ordering()
1208 	  COLAMD_ASSERT (Row [row].shared1.degree <= max_deg) ;  in find_ordering()
1213 	COLAMD_ASSERT (set_difference >= 0) ;  in find_ordering()
1240       COLAMD_ASSERT (COL_IS_ALIVE (col) && col != pivot_col) ;  in find_ordering()
1254 	COLAMD_ASSERT(row >= 0 && row < n_row) ;  in find_ordering()
1261 	COLAMD_ASSERT (row_mark > tag_mark) ;  in find_ordering()
1283 	COLAMD_ASSERT (pivot_row_degree >= 0) ;  in find_ordering()
1302 	COLAMD_ASSERT (hash <= n_col) ;  in find_ordering()
1322 	COLAMD_ASSERT (COL_IS_ALIVE (col)) ;  in find_ordering()
1383       COLAMD_ASSERT (cur_score >= 0) ;  in find_ordering()
1390       COLAMD_ASSERT (min_score >= 0) ;  in find_ordering()
1391       COLAMD_ASSERT (min_score <= n_col) ;  in find_ordering()
1392       COLAMD_ASSERT (cur_score >= 0) ;  in find_ordering()
1393       COLAMD_ASSERT (cur_score <= n_col) ;  in find_ordering()
1394       COLAMD_ASSERT (head [cur_score] >= COLAMD_EMPTY) ;  in find_ordering()
1467     COLAMD_ASSERT (COL_IS_DEAD (i)) ;  in order_children()
1485 	COLAMD_ASSERT (Col [c].shared2.order == COLAMD_EMPTY) ;  in order_children()
1588     COLAMD_ASSERT (hash <= n_col) ;  in detect_super_cols()
1607       COLAMD_ASSERT (COL_IS_ALIVE (super_c)) ;  in detect_super_cols()
1608       COLAMD_ASSERT (Col [super_c].shared3.hash == hash) ;  in detect_super_cols()
1619 	COLAMD_ASSERT (c != super_c) ;  in detect_super_cols()
1620 	COLAMD_ASSERT (COL_IS_ALIVE (c)) ;  in detect_super_cols()
1621 	COLAMD_ASSERT (Col [c].shared3.hash == hash) ;  in detect_super_cols()
1638 	  COLAMD_ASSERT (ROW_IS_ALIVE (*cp1))  ;  in detect_super_cols()
1639 	  COLAMD_ASSERT (ROW_IS_ALIVE (*cp2))  ;  in detect_super_cols()
1657 	COLAMD_ASSERT (Col [c].shared2.score == Col [super_c].shared2.score) ;  in detect_super_cols()
1729       COLAMD_ASSERT (pdest <= psrc) ;  in garbage_collection()
1761 	COLAMD_ASSERT (ROW_IS_ALIVE (r)) ;  in garbage_collection()
1780       COLAMD_ASSERT (r >= 0 && r < n_row) ;  in garbage_collection()
1783       COLAMD_ASSERT (ROW_IS_ALIVE (r)) ;  in garbage_collection()
1786       COLAMD_ASSERT (pdest <= psrc) ;  in garbage_collection()
1802   COLAMD_ASSERT (debug_rows == 0) ;  in garbage_collection()