malloc관련 질문입니다.

#include
#include

void function(int*);

int main()
{
int m=0;
int val;
int size=5;
int *arr = (int*)malloc(sizeof(int)*size);
while(1)
{
if(m==size)
{
size = size+3;
function(arr);
}
else
{
printf("number ?:");
scanf("%d",&val);
if(val == -1)
break;
(*(arr+m)) = val;
m=m+1;
}

}
for(int i=0;i printf("%d,",*(arr+i));
}

void function(int *a)
{
printf("a address: %d\n", &a);
int *temp=(int*)malloc(sizeof(a)/sizeof(int)+3*sizeof(int));
for(int i=0;i *(temp+i) = *(a+i);
a=temp;
}

열혈 강의에 나와 있는 예제를 제 나름대로 풀어 본 것인데요.
배열을 초기에 크기가 5로 설정했다가 더 많은 수의 입력이 들어오면 배열의 크기를 3씩 늘려서 수를 입력하는 소스입니다.
제가 작성한 코드는 잘못된 코드라고 생각이 드는데요.
이렇게 하면 function 함수에서의 a와 main함수에서의 arr이 포인터 입장에서 call by value가 되어 a는 크기가 커진 배열을 가리키지만 arr은 그대로입니다.

그러나 이 코드를 실행하면 a도 기존의 5 크기보다 더 많은 수의 수를 입력받게 됩니다. 즉 malloc으로 할당 받은 것들보다 더 많은 수의 입력이 가능하다는 것은 function함수의 영향이 있었다는 의미 같은데요.(실제로 function함수 없애먼 컴파일이 되지 않습니다.)

분명 잘못된 코드인데 실행이 되는 이유가 무엇일까요?