averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

[ownership] Use the new LinearLifetimeError to propagate back to callers why the checker failed.

Browse Source
This commit is contained in:
Michael Gottesman
2019-01-28 15:09:41 -08:00
parent 86de35ba30
commit a8dfac4788
2 changed files with 42 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
include/swift/SIL/OwnershipUtils.h
View File

@@ -69,16 +69,26 @@ struct ErrorBehaviorKind {
class LinearLifetimeError {
ownership::ErrorBehaviorKind errorBehavior;
bool foundError = false;
bool foundUseAfterFree = false;
bool foundLeak = false;
bool foundOverConsume = false;
public:
LinearLifetimeError(ownership::ErrorBehaviorKind errorBehavior)
: errorBehavior(errorBehavior) {}
bool getFoundError() const { return foundError; }
bool getFoundError() const {
return foundUseAfterFree || foundLeak || foundOverConsume;
}
void handleLeakError(llvm::function_ref<void()> &&messagePrinterFunc) {
foundError = true;
bool getFoundLeak() const { return foundLeak; }
bool getFoundUseAfterFree() const { return foundUseAfterFree; }
bool getFoundOverConsume() const { return foundOverConsume; }
void handleLeak(llvm::function_ref<void()> &&messagePrinterFunc) {
foundLeak = true;
if (errorBehavior.shouldPrintMessage())
messagePrinterFunc();
@@ -90,9 +100,18 @@ public:
handleError([]() {});
}
void handleError(llvm::function_ref<void()> &&messagePrinterFunc) {
foundError = true;
void handleOverConsume(llvm::function_ref<void()> &&messagePrinterFunc) {
foundOverConsume = true;
handleError(std::move(messagePrinterFunc));
}
void handleUseAfterFree(llvm::function_ref<void()> &&messagePrinterFunc) {
foundUseAfterFree = true;
handleError(std::move(messagePrinterFunc));
}
private:
void handleError(llvm::function_ref<void()> &&messagePrinterFunc) {
if (errorBehavior.shouldPrintMessage())
messagePrinterFunc();