tests/boundtest.c

   1 #include <stdlib.h>
   2 #include <stdio.h>
   3 #include <string.h>
   4
   5 #define NB_ITS 1000000
   6 //#define NB_ITS 1
   7 #define TAB_SIZE 100
   8
   9 int tab[TAB_SIZE];
  10 int ret_sum;
  11 char tab3[256];
  12
  13 int test1(void)
  14 {
  15     int i, sum = 0;
  16     for(i=0;i<TAB_SIZE;i++) {
  17         sum += tab[i];
  18     }
  19     return sum;
  20 }
  21
  22 /* error */
  23 int test2(void)
  24 {
  25     int i, sum = 0;
  26     for(i=0;i<TAB_SIZE + 1;i++) {
  27         sum += tab[i];
  28     }
  29     return sum;
  30 }
  31
  32 /* actually, profiling test */
  33 int test3(void)
  34 {
  35     int sum;
  36     int i, it;
  37
  38     sum = 0;
  39     for(it=0;it<NB_ITS;it++) {
  40         for(i=0;i<TAB_SIZE;i++) {
  41             sum += tab[i];
  42         }
  43     }
  44     return sum;
  45 }
  46
  47 /* ok */
  48 int test4(void)
  49 {
  50     int i, sum = 0;
  51     int *tab4;
  52
  53     tab4 = malloc(20 * sizeof(int));
  54     for(i=0;i<20;i++) {
  55         sum += tab4[i];
  56     }
  57     free(tab4);
  58
  59     return sum;
  60 }
  61
  62 /* error */
  63 int test5(void)
  64 {
  65     int i, sum = 0;
  66     int *tab4;
  67
  68     tab4 = malloc(20 * sizeof(int));
  69     for(i=0;i<21;i++) {
  70         sum += tab4[i];
  71     }
  72     free(tab4);
  73
  74     return sum;
  75 }
  76
  77 /* error */
  78 /* XXX: currently: bug */
  79 int test6(void)
  80 {
  81     int i, sum = 0;
  82     int *tab4;
  83
  84     tab4 = malloc(20 * sizeof(int));
  85     free(tab4);
  86     for(i=0;i<21;i++) {
  87         sum += tab4[i];
  88     }
  89
  90     return sum;
  91 }
  92
  93 /* error */
  94 int test7(void)
  95 {
  96     int i, sum = 0;
  97     int *p;
  98
  99     for(i=0;i<TAB_SIZE + 1;i++) {
 100         p = &tab[i];
 101         if (i == TAB_SIZE)
 102             printf("i=%d %x\n", i, p);
 103         sum += *p;
 104     }
 105     return sum;
 106 }
 107
 108 /* ok */
 109 int test8(void)
 110 {
 111     int i, sum = 0;
 112     int tab[10];
 113
 114     for(i=0;i<10;i++) {
 115         sum += tab[i];
 116     }
 117     return sum;
 118 }
 119
 120 /* error */
 121 int test9(void)
 122 {
 123     int i, sum = 0;
 124     char tab[10];
 125
 126     for(i=0;i<11;i++) {
 127         sum += tab[i];
 128     }
 129     return sum;
 130 }
 131
 132 /* ok */
 133 int test10(void)
 134 {
 135     char tab[10];
 136     char tab1[10];
 137
 138     memset(tab, 0, 10);
 139     memcpy(tab, tab1, 10);
 140     memmove(tab, tab1, 10);
 141     return 0;
 142 }
 143
 144 /* error */
 145 int test11(void)
 146 {
 147     char tab[10];
 148
 149     memset(tab, 0, 11);
 150     return 0;
 151 }
 152
 153 /* error */
 154 int test12(void)
 155 {
 156     void *ptr;
 157     ptr = malloc(10);
 158     free(ptr);
 159     free(ptr);
 160     return 0;
 161 }
 162
 163 /* error */
 164 int test13(void)
 165 {
 166     char pad1 = 0;
 167     char tab[10];
 168     char pad2 = 0;
 169     memset(tab, 'a', sizeof(tab));
 170     return strlen(tab);
 171 }
 172
 173 int test14(void)
 174 {
 175     char *p = alloca(TAB_SIZE);
 176     memset(p, 'a', TAB_SIZE);
 177     p[TAB_SIZE-1] = 0;
 178     return strlen(p);
 179 }
 180
 181 /* error */
 182 int test15(void)
 183 {
 184     char *p = alloca(TAB_SIZE-1);
 185     memset(p, 'a', TAB_SIZE);
 186     p[TAB_SIZE-1] = 0;
 187     return strlen(p);
 188 }
 189
 190 int (*table_test[])(void) = {
 191     test1,
 192     test1,
 193     test2,
 194     test3,
 195     test4,
 196     test5,
 197     test6,
 198     test7,
 199     test8,
 200     test9,
 201     test10,
 202     test11,
 203     test12,
 204     test13,
 205     test14,
 206     test15,
 207 };
 208
 209 int main(int argc, char **argv)
 210 {
 211     int index;
 212     int (*ftest)(void);
 213
 214     if (argc < 2) {
 215         printf("usage: boundtest n\n"
 216                "test TCC bound checking system\n"
 217                );
 218         exit(1);
 219     }
 220
 221     index = 0;
 222     if (argc >= 2)
 223         index = atoi(argv[1]);
 224     /* well, we also use bounds on this ! */
 225     ftest = table_test[index];
 226     ftest();
 227
 228     return 0;
 229 }
 230
 231 /*
 232  * without bound   0.77 s
 233  * with bounds    4.73
 234  */