Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion bazel/llvm.bzl
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,7 @@ def _llvm_loader_repository(repository_ctx):
executable = False,
)

LLVM_COMMIT_SHA = "b20d7d0278059735bb8eb538ac51e13b58895c1a"
LLVM_COMMIT_SHA = "fbfe23e16d5e49c9decccc981a4716e7cf81d242"

def llvm_loader_repository_dependencies():
# This *declares* the dependency, but it won't actually be *downloaded* unless it's used.
Expand Down
12 changes: 3 additions & 9 deletions lifetime_analysis/test/control_flow.cc
Original file line number Diff line number Diff line change
Expand Up @@ -43,11 +43,7 @@ TEST_F(LifetimeAnalysisTest, ReturnRefArgumentWithConditionalOperator) {
LifetimesAre({{"get_lesser_of", "a, a -> a"}}));
}

TEST_F(LifetimeAnalysisTest, ControlFlowExceptionsWorkSometimes) {
// This test documents that we do understand the control flow resulting from
// exceptions in some limited circumstances. However, this is not true in the
// general case -- see the test ControlFlowExceptionsNotSupportedInGeneral --
// and it's a non-goal to add support for this.
TEST_F(LifetimeAnalysisTest, ControlFlowExceptionsWithUnconditionalThrow) {
EXPECT_THAT(GetLifetimes(R"(
int* target(int* a, int* b) {
try {
Expand All @@ -61,9 +57,7 @@ TEST_F(LifetimeAnalysisTest, ControlFlowExceptionsWorkSometimes) {
LifetimesAre({{"target", "a, b -> b"}}));
}

TEST_F(LifetimeAnalysisTest, ControlFlowExceptionsNotSupportedInGeneral) {
// This test documents that we do not in general treat the control flow
// resulting from exceptions correctly; changing this is a non-goal.
TEST_F(LifetimeAnalysisTest, ControlFlowExceptionsWithUnknownControlFlow) {
EXPECT_THAT(GetLifetimes(R"(
void may_throw() {
throw 42;
Expand All @@ -77,7 +71,7 @@ TEST_F(LifetimeAnalysisTest, ControlFlowExceptionsNotSupportedInGeneral) {
}
}
)"),
LifetimesContain({{"target", "a, b -> a"}}));
LifetimesContain({{"target", "a, a -> a"}}));
}

TEST_F(LifetimeAnalysisTest, DoublePointerWithConditionalAssignment) {
Expand Down