246 #define COLAMD_ASSERT(expression) ((void) 0)  macro
797     COLAMD_ASSERT (deg >= 0 && deg <= n_col) ;  in init_scoring()
860       COLAMD_ASSERT (score >= 0) ;  in init_scoring()
861       COLAMD_ASSERT (score <= n_col) ;  in init_scoring()
897       COLAMD_ASSERT (min_score >= 0) ;  in init_scoring()
898       COLAMD_ASSERT (min_score <= n_col) ;  in init_scoring()
899       COLAMD_ASSERT (score >= 0) ;  in init_scoring()
900       COLAMD_ASSERT (score <= n_col) ;  in init_scoring()
901       COLAMD_ASSERT (head [score] >= COLAMD_EMPTY) ;  in init_scoring()
1009     COLAMD_ASSERT (min_score >= 0) ;  in find_ordering()
1010     COLAMD_ASSERT (min_score <= n_col) ;  in find_ordering()
1011     COLAMD_ASSERT (head [min_score] >= COLAMD_EMPTY) ;  in find_ordering()
1019     COLAMD_ASSERT (pivot_col >= 0 && pivot_col <= n_col) ;  in find_ordering()
1027     COLAMD_ASSERT (COL_IS_ALIVE (pivot_col)) ;  in find_ordering()
1039     COLAMD_ASSERT (pivot_col_thickness > 0) ;  in find_ordering()
1049       COLAMD_ASSERT (pfree + needed_memory < Alen) ;  in find_ordering()
1092 	  COLAMD_ASSERT (pfree < Alen) ;  in find_ordering()
1131       COLAMD_ASSERT (pivot_row_length == 0) ;  in find_ordering()
1133     COLAMD_ASSERT (Col [pivot_col].length > 0 || pivot_row_length == 0) ;  in find_ordering()
1167       COLAMD_ASSERT (COL_IS_ALIVE (col) && col != pivot_col) ;  in find_ordering()
1172       COLAMD_ASSERT (col_thickness > 0) ;  in find_ordering()
1180       COLAMD_ASSERT (cur_score >= 0) ;  in find_ordering()
1181       COLAMD_ASSERT (cur_score <= n_col) ;  in find_ordering()
1182       COLAMD_ASSERT (cur_score >= COLAMD_EMPTY) ;  in find_ordering()
1210 	COLAMD_ASSERT (row != pivot_row) ;  in find_ordering()
1215 	  COLAMD_ASSERT (Row [row].shared1.degree <= max_deg) ;  in find_ordering()
1220 	COLAMD_ASSERT (set_difference >= 0) ;  in find_ordering()
1247       COLAMD_ASSERT (COL_IS_ALIVE (col) && col != pivot_col) ;  in find_ordering()
1261 	COLAMD_ASSERT(row >= 0 && row < n_row) ;  in find_ordering()
1268 	COLAMD_ASSERT (row_mark > tag_mark) ;  in find_ordering()
1290 	COLAMD_ASSERT (pivot_row_degree >= 0) ;  in find_ordering()
1309 	COLAMD_ASSERT (hash <= n_col) ;  in find_ordering()
1329 	COLAMD_ASSERT (COL_IS_ALIVE (col)) ;  in find_ordering()
1390       COLAMD_ASSERT (cur_score >= 0) ;  in find_ordering()
1397       COLAMD_ASSERT (min_score >= 0) ;  in find_ordering()
1398       COLAMD_ASSERT (min_score <= n_col) ;  in find_ordering()
1399       COLAMD_ASSERT (cur_score >= 0) ;  in find_ordering()
1400       COLAMD_ASSERT (cur_score <= n_col) ;  in find_ordering()
1401       COLAMD_ASSERT (head [cur_score] >= COLAMD_EMPTY) ;  in find_ordering()
1474     COLAMD_ASSERT (COL_IS_DEAD (i)) ;  in order_children()
1492 	COLAMD_ASSERT (Col [c].shared2.order == COLAMD_EMPTY) ;  in order_children()
1595     COLAMD_ASSERT (hash <= n_col) ;  in detect_super_cols()
1614       COLAMD_ASSERT (COL_IS_ALIVE (super_c)) ;  in detect_super_cols()
1615       COLAMD_ASSERT (Col [super_c].shared3.hash == hash) ;  in detect_super_cols()
1626 	COLAMD_ASSERT (c != super_c) ;  in detect_super_cols()
1627 	COLAMD_ASSERT (COL_IS_ALIVE (c)) ;  in detect_super_cols()
1628 	COLAMD_ASSERT (Col [c].shared3.hash == hash) ;  in detect_super_cols()
1645 	  COLAMD_ASSERT (ROW_IS_ALIVE (*cp1))  ;  in detect_super_cols()
1646 	  COLAMD_ASSERT (ROW_IS_ALIVE (*cp2))  ;  in detect_super_cols()
1664 	COLAMD_ASSERT (Col [c].shared2.score == Col [super_c].shared2.score) ;  in detect_super_cols()
1736       COLAMD_ASSERT (pdest <= psrc) ;  in garbage_collection()
1768 	COLAMD_ASSERT (ROW_IS_ALIVE (r)) ;  in garbage_collection()
1787       COLAMD_ASSERT (r >= 0 && r < n_row) ;  in garbage_collection()
1790       COLAMD_ASSERT (ROW_IS_ALIVE (r)) ;  in garbage_collection()
1793       COLAMD_ASSERT (pdest <= psrc) ;  in garbage_collection()
1809   COLAMD_ASSERT (debug_rows == 0) ;  in garbage_collection()