Add DerefType for STL annotations
Xazax-hun opened this issue · 3 comments
Xazax-hun commented
Add DerefType for STL annotations
mgehre commented
Note that for flow-sensitive analysis, the deref type is already correctly infered for STL types
Xazax-hun commented
It is? I though we use the one from the attribute. Sorry in that case :)
Xazax-hun commented
Whoops, we still need to solve this at some point for statement-local.