sanity checks for cfi logic