[PATCH 0/3] Support intra-function call validation