[all-commits] [llvm/llvm-project] 1e7329: [clang][dataflow] Model variables / fields / funcs...
martinboehme via All-commits
all-commits at lists.llvm.org
Tue Jul 4 05:06:31 PDT 2023
Branch: refs/heads/main
Home: https://github.com/llvm/llvm-project
Commit: 1e7329cd79c53165f113edfe6a2ff06d12899632
https://github.com/llvm/llvm-project/commit/1e7329cd79c53165f113edfe6a2ff06d12899632
Author: Martin Braenne <mboehme at google.com>
Date: 2023-07-04 (Tue, 04 Jul 2023)
Changed paths:
M clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
Log Message:
-----------
[clang][dataflow] Model variables / fields / funcs used in default initializers.
The newly added test fails without the other changes in this patch.
Reviewed By: sammccall, gribozavr2
Differential Revision: https://reviews.llvm.org/D154420
Commit: 880f306226fcb97d85d422480954eb8765ff31c7
https://github.com/llvm/llvm-project/commit/880f306226fcb97d85d422480954eb8765ff31c7
Author: Martin Braenne <mboehme at google.com>
Date: 2023-07-04 (Tue, 04 Jul 2023)
Changed paths:
M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
Log Message:
-----------
[clang][dataflow] Add a test for a struct that is directly self-referential through a reference.
The ongoing migration to strict handling of value
categories (see https://discourse.llvm.org/t/70086) will change the way we
handle fields of reference type, and I want to put a test in place that makes
sure we continue to handle this special case correctly.
Depends On D154420
Reviewed By: gribozavr2, xazax.hun
Differential Revision: https://reviews.llvm.org/D154421
Compare: https://github.com/llvm/llvm-project/compare/f8e59b09f42c...880f306226fc
More information about the All-commits
mailing list