We are catching up on upstream development in our local repo, and we ran into an issue: pointer annotation on buffer variables blocks buffer type casting. See Type casting a buffer for more details. In short, given a buffer of one data type, we want to be able to access it using different data types. What we do is that we create a new buffer (via decl_buffer
), and use the same buffer variable, but with different data type.
How can we get this to work with the annotations in place?