Hi Ádám,
Is there any method to determine in checkPostCall() whether the call was inlined or conservatively evaluated?
The `CheckerContext` has a field `wasInlined`. See [1]
Regards,
Julian
Hi Ádám,
Is there any method to determine in checkPostCall() whether the call was inlined or conservatively evaluated?
The `CheckerContext` has a field `wasInlined`. See [1]
Regards,
Julian