Incorrect stack adjustment on an indirect call despite the call of the call is provided

[xusheng6]

For the following call to LocalAlloc

we can see from LLIL that the stack adjustment is wrong (it should be 0x8 instead of 0xd8):

The 0xd8 is initially calculated when the type info of LocalAlloc is missing, but even after I manually applied that info, it is still wrong. It is worth pointing out that, even without providing the type info, the analysis correctly realizes that the call should have two parameters.

Database: lily leaf spreads greatly