4 Commits

Author	SHA1	Message	Date
Tim Kientzle	1d961ba22d	Add #include "swift/Basic/Assertions.h" to a lot of source files ... Although I don't plan to bring over new assertions wholesale into the current qualification branch, it's entirely possible that various minor changes in main will use the new assertions; having this basic support in the release branch will simplify that. (This is why I'm adding the includes as a separate pass from rewriting the individual assertions)	2024-06-05 19:37:30 -07:00
Andrew Trick	5e0c8f9b50	The verifier should only output to llvm::errs()	2020-10-16 15:00:10 -07:00
Andrew Trick	6f2cda1390	Add AccessUseVisitor and cleanup related APIs. ... Add AccesssedStorage::compute and computeInScope to mirror AccessPath. Allow recovering the begin_access for Nested storage. Adds AccessedStorage.visitRoots().	2020-10-16 15:00:10 -07:00
Andrew Trick	b2d1ac1631	Add AccessPathVerification pass and run it in the pipeline.	2020-10-16 15:00:10 -07:00