Per Luc's feed back. This is the more complete version of the pseudo-size-value branch. I add the second patch to allow sparse-llvm to use the new size store in constant value pseudo. The whole series is very simple, only two patches. It directly address the problem of sparse-llvm wasn't able to get the integer size from constant value pseudo. I am consider this as better alternative compare to OP_PUSH. - OP_PUSH break byte code compatibility at source level, this does not. - OP_PUSH has more instruction (more memory). - OP_PUSH only cover constant value used in function call. this cover all usage of constant value. It pass the "make check" test ( I have to fix a problem with the bool type which is 1 bit integer). The V1 pass the kernel checker test with no change to output. Dibyendu, can you give this series some test since you report it? The git url: https://git.kernel.org/pub/scm/devel/sparse/chrisl/sparse.git/log/?h=pseudo-sized-value-v2 Chris -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html