#include <iostream>
#include <utility>

//  Example 1: simple uninitialized variable

void lang_mem_uvar_simple(void){
    int i,j;
    int *p;

    std::cout << j << "\n"; // 'Uninitialized Variable' warning issued here

    // No warnings are issued in any of the following statements.
    // - Each of them is dead code: executing has no effect on program state,
    //   even though i is not initialized.
    // - An optimizing compiler may remove any or all of these statements.
    i;
    i + 1;
    &p[i];
}

// Example 2: uninitialized variable due to an object being left in
// moved-from state.

class C {
  private:
    int *p;
  public:
    C() =default;                                // Default constructor
    constexpr C(const C&) =default;              // Copy constructor
    C(C && other) : p(std::move(other.p)){}      // Move constructor
    constexpr C& operator=(const C&) =default;   // Copy assignment

  int get(void){
    return p ? *p : 0;      // 'Uninitialized Variable' warning issued here
                            // when MOVED_FROM_UV_CHECK_ENABLED=Yes
  }
};

int useC(C c){return c.get();}

int lang_mem_uvar_movefrom_C(C c){
    int i = 0;
    i += c.get();                           // ok : no program path in which c is in moved-from state
    i += useC(std::move(c));                // c moved-from
    i += c.get();            // Warning issued because c is used while
                             // in moved-from state: warning endpoint
                             // is in the C::get() definition above.
    c = C();                                // c no longer moved-from
    i += c.get();                           // ok: c not in moved-from state
    return i;
}