Merge branch 'master' into BugPoint

This commit is contained in:
Greg Fischer 2021-07-29 14:48:24 -06:00 committed by GitHub
commit 9ff6cd0bd6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
72 changed files with 34633 additions and 28297 deletions

View file

@ -926,6 +926,11 @@ public:
return false;
}
bool IsRequestedExtension(const char* extension) const
{
return (requestedExtensions.find(extension) != requestedExtensions.end());
}
void addToCallGraph(TInfoSink&, const TString& caller, const TString& callee);
void merge(TInfoSink&, TIntermediate&);
void finalCheck(TInfoSink&, bool keepUncalled);