Add DerefType for STL annotations

mgehre / llvm-project

The home of the clang-based implementation of lifetime safety warnings.

39 stars 4 forks source link

Open Xazax-hun opened 5 years ago

mgehre commented 5 years ago

Note that for flow-sensitive analysis, the deref type is already correctly infered for STL types

Xazax-hun commented 5 years ago

It is? I though we use the one from the attribute. Sorry in that case :)

Xazax-hun commented 5 years ago

Whoops, we still need to solve this at some point for statement-local.