mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-07 19:46:06 +00:00
Code Issues Projects Releases Wiki Activity
415,376 Commits 1,258 Branches 288 Tags
Commit Graph

15 Commits

Author SHA1 Message Date
Stanislav Gatev
dd4dde8d39 [clang][dataflow] Add transfer functions for logical and, or, not. 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: xazax.hun

Differential Revision: https://reviews.llvm.org/D119953
 2022-02-17 09:09:59 +00:00
Stanislav Gatev
75c22b382f [clang][dataflow] Add a transfer function for CXXBoolLiteralExpr 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: xazax.hun

Differential Revision: https://reviews.llvm.org/D118236
 2022-01-26 15:33:00 +00:00
Stanislav Gatev
64ba462b6e [clang][dataflow] Add a transfer function for InitListExpr 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: xazax.hun

Differential Revision: https://reviews.llvm.org/D118119
 2022-01-25 16:28:15 +00:00
Stanislav Gatev
8e53ae3d37 [clang][dataflow] Add a transfer function for conditional operator 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: xazax.hun

Differential Revision: https://reviews.llvm.org/D117667
 2022-01-19 16:25:05 +00:00
Stanislav Gatev
acd4b03590 Revert "Revert "[clang][dataflow] Add a test to justify skipping past references in UO_Deref"" 
This reverts commit a0262043bb87fdef68c817722de320a5dd9eb9c9.

Add the -fno-delayed-template-parsing arg to fix the failing test on Windows.
 2022-01-19 10:00:01 +00:00
Stanislav Gatev
a0262043bb Revert "[clang][dataflow] Add a test to justify skipping past references in UO_Deref" 
This reverts commit 68226e572f41105446413b12ee95ab5540b2b6ac.
 2022-01-19 06:46:37 +00:00
Stanislav Gatev
68226e572f [clang][dataflow] Add a test to justify skipping past references in UO_Deref 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: xazax.hun

Differential Revision: https://reviews.llvm.org/D117567
 2022-01-18 21:27:43 +00:00
Stanislav Gatev
59e031ff90 [clang][dataflow] Add transfer function for addrof 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: xazax.hun

Differential Revision: https://reviews.llvm.org/D117496
 2022-01-18 11:23:08 +00:00
Stanislav Gatev
782eced561 [clang][dataflow] Replace initValueInStorageLocation with createValue 
Since Environment's setValue method already does part of the work that
initValueInStorageLocation does, we can factor out a new createValue
method to reduce the duplication.

This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: ymandel, xazax.hun

Differential Revision: https://reviews.llvm.org/D117493
 2022-01-18 07:09:35 +00:00
Stanislav Gatev
37e6496c80 [clang][dataflow] Add transfer functions for bind temporary and static cast 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Differential Revision: https://reviews.llvm.org/D117339
 2022-01-16 17:41:02 +00:00
Stanislav Gatev
7d941d6d21 [clang][dataflow] Add transfer functions for constructors 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: ymandel, xazax.hun

Differential Revision: https://reviews.llvm.org/D117218
 2022-01-14 14:58:01 +00:00
Stanislav Gatev
963f40051a [clang][dataflow] Add transfer functions for initializers 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: ymandel, xazax.hun

Differential Revision: https://reviews.llvm.org/D117123
 2022-01-12 21:51:39 +00:00
Stanislav Gatev
99f7d55eee [clang][dataflow] Add transfer functions for data members and this pointers 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: ymandel, xazax.hun

Differential Revision: https://reviews.llvm.org/D117012
 2022-01-12 07:38:26 +00:00
Stanislav Gatev
e7481f6ee5 [clang][dataflow] Add transfer functions for assignment 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Differential Revision: https://reviews.llvm.org/D116596
 2022-01-10 19:35:50 +00:00
Stanislav Gatev
af7bc39ba1 [clang][dataflow] Add transfer function for VarDecl statements 
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: xazax.hun

Differential Revision: https://reviews.llvm.org/D116368
 2022-01-04 09:16:01 +00:00