カウンター変数が変化しない

このプログラムは車メーカの数を数えるのですが、最後の集計するためのforループが
無限ループになってしまいます。原因はkの値がずっと０のままであることは、自力で分かったのですが、
どうしてkの値が変化しないのかがわかりません。
教えていただけませんか？

c
1#include<time.h>
2#include<string.h>
3
4int main(void)
5{
6        typedef struct{
7                char name[7];
8                int number;
9                int gasu;
10                char color;
11        }Car;
12
13        Car car[10];
14        int i,j,k,info[4],num[k];
15        time_t t;
16        srand(time(&t));
17
18        char car_name[5][7]={"TOYOTA","HONDA","NISSAN","MAZDA","SUBARU"};
19        int car_gasu[4]={1200,1800,2500,3000};
20        char car_color[6]={'W','B','S','R','B'};
21
22        for(i=0;i<10;i++){
23                for(j=0;j<4;j++){
24                        info[j]=rand();
25                }
26                strcpy(car[i].name,car_name[info[1]%5]);
27                car[i].number=info[1]%10*10000+info[2]%10*100+info[3]%10*10+info[4]%10;
28                car[i].gasu=car_gasu[info[2]%4];
29                car[i].color=car_color[info[3]%5];
30        }
31        //集計
32     
33        for(k=0;k<5;k++){
34                num[k]=0;
35                for(i=0;i<10;i++){
36                        if(strcmp(car[i].name,car_name[k])==0){
37                                num[k]++;
38                        }
39                }
40                printf("%sは%d台\n",car_name[k],num[k]);
41           
42        }
43
44        return 0;
45}