src/pattern_matches/patternMatchesLib.sml

470     // C++ [class.qual]p2: A lookup that would find the injected-class-name
861     // Per [class.qual]p2, this names the constructors of SS, not the
1021     // C++ [temp.res]p2:
1078     // C++2a [temp.names]p2:
2336     // C++ [dcl.typedef]p2:
2936   // C++11 [dcl.attr.depend]p2:
3424     // C++1z [over.load]p2
3568     // C++11 [dcl.attr.depend]p2:
3921     // C 6.2.7p2:
3983 /// Tentative definition rules (C99 6.9.2p2) are checked by
4450     // Enforce C99 6.7.3p2: "Types other than pointer types derived from object
4533   // C11 6.7.2.1p2:
4730         // C++ [class.union]p2:
4736         // C++ [class.union]p2:
4856       // C++17 [class.union.anon]p2:
4918     // C++ [class.union]p2:
5015   // C++ [class.mem]p2:
5962   // C99 6.7.7p2: If a typedef name specifies a variably modified type
5999 /// a C++0x [dcl.typedef]p2 alias-declaration: 'using T = A;'.
6701     // C99 6.9p2: The storage-class specifiers auto and register shall not
6747         // [dcl.stc] p2: The auto or register specifiers shall be applied only
7909                 // C++2a [class.virtual]p2 does not consider requires clauses
8743       // C++ [class.union]p2
8929       // C++11 [dcl.constexpr]p2: constexpr functions and constexpr constructors
8985       // C++ [class.mfct]p2:
9138   // Functions returning a variably modified type violate C99 6.7.5.2p2
9429           // was no such member function declared (C++ [class.mfct]p2,
9430           // C++ [namespace.memdef]p2). For example:
9463       // definition (C++ [class.mfct]p2).
9466       // C++ [temp.expl.spec]p2. We also allow these declarations as an
12274       // File scope. C99 6.9.2p2: A declaration of an identifier for an
13134   // Verify C99 6.7.5.3p2: The only SCS allowed is 'register'.
13136   // C++03 [dcl.stc]p2 also permits 'auto'.
13493     // [temp.inst]p2:
14243 /// call, forming a call to an implicitly defined function (per C99 6.5.1p2).
14922       // C++0x 7.2p2: The type-specifier-seq of an enum-base shall name an
15574         // C++0x: 7.2p2: opaque-enum-declaration.
15835   // C++ [class]p2:
16610     // C99 6.7.2.1p2:
16839                 // C++ [class.virtual]p2:
17079         // C99 6.7.2.2p2: Make sure we have an integer constant expression.
17111           // C99 6.7.2.2p2:
17196         // an int (C99 6.7.2.2p2). However, we support GCC's extension that
17203         // Enforce C99 6.7.2.2p2 even when we compute the next value.
17564   // C99 6.4.4.3p2: