test/Analysis/uninit-structured-binding-struct.cpp

// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -std=c++17 -verify %s

void clang_analyzer_eval(bool);

struct s {
  int a;
  int b;
};

void a(void) {
  s tst;

  auto [i, j] = tst;

  int x = i; // expected-warning{{Assigned value is garbage or undefined}}
}

void b(void) {
  s tst;
  tst.a = 1;

  auto [i, j] = tst;

  clang_analyzer_eval(i == 1); // expected-warning{{TRUE}}
  int y = j;                   // expected-warning{{Assigned value is garbage or undefined}}
}

void c(void) {
  s tst;

  auto &[i, j] = tst;

  int x = i; // expected-warning{{Assigned value is garbage or undefined}}
}

void d(void) {
  s tst;
  tst.a = 1;

  auto &[i, j] = tst;

  clang_analyzer_eval(i == 1); // expected-warning{{TRUE}}
  i = 2;
  clang_analyzer_eval(tst.a == 2); // expected-warning{{TRUE}}

  int y = j; // expected-warning{{Assigned value is garbage or undefined}}
}

void e(void) {
  s tst;
  tst.a = 1;

  auto &[i, j] = tst;

  clang_analyzer_eval(i == 1); // expected-warning{{TRUE}}

  tst.b = 2;
  clang_analyzer_eval(j == 2); // expected-warning{{TRUE}}
}

void f(void) {
  s tst;

  auto &&[i, j] = tst;

  int x = i; // expected-warning{{Assigned value is garbage or undefined}}
}

void g(void) {
  s tst;
  tst.a = 1;

  auto &&[i, j] = tst;

  clang_analyzer_eval(i == 1); // expected-warning{{TRUE}}
  int y = j;                   // expected-warning{{Assigned value is garbage or undefined}}
}

struct s2 {
  int a = 1;
  int b = 2;
};

struct s3 {
  s x;
  s2 y;
};

void h(void) {
  s3 tst;

  clang_analyzer_eval(tst.y.a == 1); // expected-warning{{TRUE}}

  auto [i, j] = tst;

  // FIXME: These should be undefined, but we have to fix
  // reading undefined from lazy compound values first.
  clang_analyzer_eval(i.a); // expected-warning{{UNKNOWN}}
  clang_analyzer_eval(i.b); // expected-warning{{UNKNOWN}}

  clang_analyzer_eval(j.a == 1); // expected-warning{{TRUE}}
  clang_analyzer_eval(j.b == 2); // expected-warning{{TRUE}}
}

void i(void) {
  s3 tst;

  clang_analyzer_eval(tst.y.a == 1); // expected-warning{{TRUE}}

  auto &[i, j] = tst;
  j.a = 3;

  clang_analyzer_eval(tst.y.a == 3); // expected-warning{{TRUE}}
  clang_analyzer_eval(tst.y.b == 2); // expected-warning{{TRUE}}
  clang_analyzer_eval(j.b == 2);     // expected-warning{{TRUE}}
}