[PATCH] D47044: [analyzer] Ensure that we only visit a destructor for a reference if type information is available.

[Matthew Voss via Phabricator via cfe-commits]

ormris added a comment.

In https://reviews.llvm.org/D47044#1130339, @NoQ wrote:

> I'm still curious whether this also works:
>
>   void foo() {
>     const A &x = B();
>     bar();
>   }
>  
>   void bar() {
>     for (int i = 0; i < 10; ++i) {}
>   }
>
>
> Though we can land this patch and deal with this later.


@NoQ The above example doesn't crash.


Repository:
  rC Clang

https://reviews.llvm.org/D47044