search for: is_variable_length

...ze. However, this becomes truly muddy in the presence of '-1' size which just means a "variable" size. But how much is variable? Where does the undef stop? I think the whole thing would be somewhat clearer as an intrinsic with an arbitrary pointer type and a boolean flag for 'is_variable_length'. If the flag is false (common), the pointee type's store size is the size of the region whose lifetime is marked. If the flag is true, the pointer must be an alloca instruction itself with a runtime size, and the entire alloca's lifetime is marked. Among other benefits, this would make...