Is there a way to check the gimple of the variable, which is assigned to malloc, is the same.For example, if I declare a variable named dynArr and assign it to malloc twice like the following:int *dynArr=malloc(10*sizeof(int));dynArr=malloc(10*sizeof(int));
And, when it turns to gimple, it becomes like this:dynArr_25 = malloc (40);
dynArr_27 = malloc (40);
So that I can't use alias(ex. refs_may_alias_p()) to judge them properly.Can you give some advice?