[CAnnotate] More uncompatible types from AOR labels
In lapi.c of lua
// AOR Label 28
if((L->stack_last) + (L->top) != (L->stack_last) - (L->top)) { __asm__ volatile (""::: "memory"); }
if (L->stack_last - L->top > n) {
res = 1;
}
lapi.c:195:20: fatal error: invalid operands to binary expression ('StkId' (aka 'union StackValue *') and 'StkId')
if((L->stack_last) + (L->top) != (L->stack_last) - (L->top)) { __asm__ volatile (""::: "memory"); }
~~~~~~~~~~~~~~~ ^ ~~~~~~~~