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