06:43 glehmann: karolherbst: we should probably only check the bitsize in deref analysis
08:33 karolherbst: glehmann: Yeah.. I was wondering about that. I think it's probably trivial to do for scalars, vectors and arrays. We also have some code around that compares paths. I'm wondering if it would be easier to simply normalize types here instead. Like cast it to an unsigned interger for load/stores... but dunno