Commit aec62103 authored by Nathan's avatar Nathan
Browse files

[ASTMatchers] Add cxxNoexceptExpr AST matcher 

Summary: Adds a cxxNoexceptExpr matcher that matches the [[ https://en.cppreference.com/w/cpp/language/noexcept |  noexcept operator ]].

Reviewers: aaron.ballman

Reviewed By: aaron.ballman

Subscribers: merge_guards_bot, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D73439
parent 2e497796

clang/docs/LibASTMatchersReference.html

+15 −0
Original line number Diff line number Diff line
@@ -1003,6 +1003,21 @@ cxxNewExpr() 
</pre></td></tr>





<tr><td>Matcher&lt;<a href="https://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>&gt;</td><td class="name" onclick="toggle('cxxNoexceptExpr0')"><a name="cxxNoexceptExpr0Anchor">cxxNoexceptExpr</a></td><td>Matcher&lt;<a href="https://clang.llvm.org/doxygen/classclang_1_1CXXNoexceptExpr.html">CXXNoexceptExpr</a>&gt;...</td></tr>

<tr><td colspan="4" class="doc" id="cxxNoexceptExpr0"><pre>Matches noexcept expressions.



Given

  bool a() noexcept;

  bool b() noexcept(true);

  bool c() noexcept(false);

  bool d() noexcept(noexcept(a()));

  bool e = noexcept(b()) || noexcept(c());

cxxNoexceptExpr()

  matches `noexcept(a())`, `noexcept(b())` and `noexcept(c())`.

  doesn't match the noexcept specifier in the declarations a, b, c or d.

</pre></td></tr>





<tr><td>Matcher&lt;<a href="https://clang.llvm.org/doxygen/classclang_1_1Stmt.html">Stmt</a>&gt;</td><td class="name" onclick="toggle('cxxNullPtrLiteralExpr0')"><a name="cxxNullPtrLiteralExpr0Anchor">cxxNullPtrLiteralExpr</a></td><td>Matcher&lt;<a href="https://clang.llvm.org/doxygen/classclang_1_1CXXNullPtrLiteralExpr.html">CXXNullPtrLiteralExpr</a>&gt;...</td></tr>

<tr><td colspan="4" class="doc" id="cxxNullPtrLiteralExpr0"><pre>Matches nullptr literal.

</pre></td></tr>

clang/include/clang/ASTMatchers/ASTMatchers.h

+16 −0
Original line number Diff line number Diff line
@@ -1824,6 +1824,22 @@ extern const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNewExpr> cxxNewExpr; 
extern const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDeleteExpr>

    cxxDeleteExpr;



/// Matches noexcept expressions.

///

/// Given

/// \code

///   bool a() noexcept;

///   bool b() noexcept(true);

///   bool c() noexcept(false);

///   bool d() noexcept(noexcept(a()));

///   bool e = noexcept(b()) || noexcept(c());

/// \endcode

/// cxxNoexceptExpr()

///   matches `noexcept(a())`, `noexcept(b())` and `noexcept(c())`.

///   doesn't match the noexcept specifier in the declarations a, b, c or d.

extern const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNoexceptExpr>

    cxxNoexceptExpr;



/// Matches array subscript expressions.

///

/// Given

clang/lib/ASTMatchers/ASTMatchersInternal.cpp

+2 −0
Original line number Diff line number Diff line
@@ -730,6 +730,8 @@ const internal::VariadicDynCastAllOfMatcher<Stmt, MaterializeTemporaryExpr> 
    materializeTemporaryExpr;

const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNewExpr> cxxNewExpr;

const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDeleteExpr> cxxDeleteExpr;

const internal::VariadicDynCastAllOfMatcher<Stmt, CXXNoexceptExpr>

    cxxNoexceptExpr;

const internal::VariadicDynCastAllOfMatcher<Stmt, ArraySubscriptExpr>

    arraySubscriptExpr;

const internal::VariadicDynCastAllOfMatcher<Stmt, CXXDefaultArgExpr>

clang/lib/ASTMatchers/Dynamic/Registry.cpp

+1 −0
Original line number Diff line number Diff line
@@ -183,6 +183,7 @@ RegistryMaps::RegistryMaps() { 
  REGISTER_MATCHER(cxxMemberCallExpr);

  REGISTER_MATCHER(cxxMethodDecl);

  REGISTER_MATCHER(cxxNewExpr);

  REGISTER_MATCHER(cxxNoexceptExpr);

  REGISTER_MATCHER(cxxNullPtrLiteralExpr);

  REGISTER_MATCHER(cxxOperatorCallExpr);

  REGISTER_MATCHER(cxxRecordDecl);

clang/lib/Analysis/ExprMutationAnalyzer.cpp

+0 −3
Original line number Diff line number Diff line
@@ -43,9 +43,6 @@ AST_MATCHER(CXXTypeidExpr, isPotentiallyEvaluated) { 
  return Node.isPotentiallyEvaluated();

}



const ast_matchers::internal::VariadicDynCastAllOfMatcher<Stmt, CXXNoexceptExpr>

    cxxNoexceptExpr;



const ast_matchers::internal::VariadicDynCastAllOfMatcher<Stmt,

                                                          GenericSelectionExpr>

    genericSelectionExpr;