OLD | NEW |
1 #include "util.h" | 1 #include "util.h" |
2 /*@unused@*/ RCSID("$Id: inttree.c 2262 2010-01-03 02:46:11Z peter $"); | |
3 | 2 |
4 #include <stdlib.h> | 3 #include <stdlib.h> |
5 #include <stdio.h> | 4 #include <stdio.h> |
6 #include <limits.h> | 5 #include <limits.h> |
7 #include <math.h> | 6 #include <math.h> |
8 #include "coretype.h" | 7 #include "coretype.h" |
9 #include "inttree.h" | 8 #include "inttree.h" |
10 | 9 |
11 #define VERIFY(condition) \ | 10 #define VERIFY(condition) \ |
12 if (!(condition)) { \ | 11 if (!(condition)) { \ |
(...skipping 870 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
883 VERIFY(it->root->high == INT_MAX); | 882 VERIFY(it->root->high == INT_MAX); |
884 VERIFY(it->root->maxHigh == INT_MAX); | 883 VERIFY(it->root->maxHigh == INT_MAX); |
885 VERIFY(it->nil->data == NULL); | 884 VERIFY(it->nil->data == NULL); |
886 VERIFY(it->root->data == NULL); | 885 VERIFY(it->root->data == NULL); |
887 VERIFY(it->nil->red == 0); | 886 VERIFY(it->nil->red == 0); |
888 VERIFY(it->root->red == 0); | 887 VERIFY(it->root->red == 0); |
889 CheckMaxHighFields(it, it->root->left); | 888 CheckMaxHighFields(it, it->root->left); |
890 } | 889 } |
891 #endif | 890 #endif |
892 | 891 |
OLD | NEW |