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 [1] http://clang.llvm.org/doxygen/classclang_1_1ento_1_1CheckerContext.html#aea5dab50bcc5d00dd709f0dddfb1f0aa