Inlining temporary destructors in the analyzer

It sounds like Manuel is saying the warning is wrong. The warning is actually quite helpful because the example code is unrealistic and the warning brings attention to that fact quite nicely. Sorry if I am missing the boat :slight_smile: There is no guarantee the code won't crash on destruction of the object, so why worry about the initializer values? It would help me understand what the problem is if the example made more sense. Maybe like this:

struct A {
  A(int& y) : z(&y) {}
    ~A() { *z = 23; }
  int *z;

void f() {
int x = 0;

Do the initializer values behave in this circumstance?