review.tizen.org Git - platform/upstream/llvm.git/commit

projects / platform / upstream / llvm.git / commit

author	Corentin Jabot <corentin.jabot@gmail.com>
	Tue, 5 Oct 2021 12:02:53 +0000 (08:02 -0400)
committer	Aaron Ballman <aaron@aaronballman.com>
	Tue, 5 Oct 2021 12:04:14 +0000 (08:04 -0400)
commit	424733c12aacc227a28114deba72061153f8dff2
tree	c1d226c79ba125ab6f0e9234411f2eac41745c35	tree \| snapshot
parent	b5a11a991e17982bb9915d295797410186aa9894	commit \| diff

Implement if consteval (P1938)

Modify the IfStmt node to suppoort constant evaluated expressions.

Add a new ExpressionEvaluationContext::ImmediateFunctionContext to
keep track of immediate function contexts.

This proved easier/better/probably more efficient than walking the AST
backward as it allows diagnosing nested if consteval statements.

33 files changed:

clang/include/clang/AST/Stmt.h		diff \| blob \| history
clang/include/clang/Basic/DiagnosticParseKinds.td		diff \| blob \| history
clang/include/clang/Basic/DiagnosticSemaKinds.td		diff \| blob \| history
clang/include/clang/Basic/Specifiers.h		diff \| blob \| history
clang/include/clang/Sema/Sema.h		diff \| blob \| history
clang/lib/AST/ASTImporter.cpp		diff \| blob \| history
clang/lib/AST/ExprConstant.cpp		diff \| blob \| history
clang/lib/AST/Interp/ByteCodeStmtGen.cpp		diff \| blob \| history
clang/lib/AST/JSONNodeDumper.cpp		diff \| blob \| history
clang/lib/AST/Stmt.cpp		diff \| blob \| history
clang/lib/AST/StmtPrinter.cpp		diff \| blob \| history
clang/lib/AST/TextNodeDumper.cpp		diff \| blob \| history
clang/lib/Analysis/BodyFarm.cpp		diff \| blob \| history
clang/lib/Analysis/CFG.cpp		diff \| blob \| history
clang/lib/CodeGen/CGStmt.cpp		diff \| blob \| history
clang/lib/CodeGen/CodeGenPGO.cpp		diff \| blob \| history
clang/lib/Frontend/InitPreprocessor.cpp		diff \| blob \| history
clang/lib/Parse/ParseStmt.cpp		diff \| blob \| history
clang/lib/Sema/JumpDiagnostics.cpp		diff \| blob \| history
clang/lib/Sema/SemaDeclCXX.cpp		diff \| blob \| history
clang/lib/Sema/SemaExpr.cpp		diff \| blob \| history
clang/lib/Sema/SemaExprMember.cpp		diff \| blob \| history
clang/lib/Sema/SemaLambda.cpp		diff \| blob \| history
clang/lib/Sema/SemaStmt.cpp		diff \| blob \| history
clang/lib/Sema/TreeTransform.h		diff \| blob \| history
clang/lib/Serialization/ASTReaderStmt.cpp		diff \| blob \| history
clang/lib/Serialization/ASTWriterStmt.cpp		diff \| blob \| history
clang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp		diff \| blob \| history
clang/test/AST/Interp/if_consteval.cpp	[new file with mode: 0644]	blob
clang/test/AST/ast-dump-if-json.cpp		diff \| blob \| history
clang/test/AST/ast-dump-stmt.cpp		diff \| blob \| history
clang/test/CXX/stmt.stmt/stmt.select/stmt.if/p4.cpp	[new file with mode: 0644]	blob
clang/test/CodeGenCXX/cxx2b-consteval-if.cpp	[new file with mode: 0644]	blob

Domain: System / Toolchain;

RSS Atom