Skip to content

Commit 4f29698

Browse files
gottesmmgottesmm
authored
Merge pull request #85766 from gottesmm/pr-6cfb709b2ef818e62904d539ba5998c638a598d2
[sil-verifier] Fix thinko around verifying joint post-dominance of begin_apply stack allocation.
2 parents b685d9f + 8a7b5f7 commit 4f29698

File tree

6 files changed

+669
-517
lines changed

6 files changed

+669
-517
lines changed

‎lib/SIL/Verifier/CMakeLists.txt‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
target_sources(swiftSIL PRIVATE
22
DebugInfoVerifier.cpp
3+
FlowSensitiveVerifier.cpp
34
LinearLifetimeChecker.cpp
45
MemoryLifetimeVerifier.cpp
56
GuaranteedPhiVerifier.cpp

0 commit comments

Comments
 (0)