reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9

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

struct s { int a; };
int foo() {
    auto[a] = s{1}; // FIXME: proper modelling
    if (a) {
    }
} // expected-warning{{control reaches end of non-void function}}