Produce SymbolCast for a pointer-to-integer cast if the
support-symbolic-integer-casts flag is enabled.
Notify the user about the contract.
Explain please, why do you need to create a new SymbolVal here, but not just returning V as long as you know that the type is the same?
Thanks for the review Denys, and sorry for the long delay with the update. I hope that this patch is going to complement nicely the rest of the cast patches.
Okay, I've added an assertion for this check.
You're right, we can just simply return V, I've updated like so. (I just wanted to make sure that the makeSymbolVal is consistent, but that has nothing to do with this patch.)
Looks correct to me.
You don't need to have gap between these two. They belong in the same overload set.
Is this the only obstacle to eradicate LocAsInteger?
I think you need to pin the target. You assume a specific pointer bitwidth in the test.
Why is this `UNKNOWN? I would expect TRUE here as well.