summaryrefslogtreecommitdiffstats
path: root/source/slang/slang-ir-missing-return.cpp
diff options
context:
space:
mode:
authorjsmall-nvidia <jsmall@nvidia.com>2019-05-31 17:20:37 -0400
committerGitHub <noreply@github.com>2019-05-31 17:20:37 -0400
commit6cbc3929a54d37bd23cb5efa8e3320ba02f78b2f (patch)
tree5a23cb47782e9e2a77762c90dd35da1005eba8d0 /source/slang/slang-ir-missing-return.cpp
parentb81ff3ef968d1cc4e954b31a1812b3c391d17b02 (diff)
Use slang- prefix on slang compiler and core source (#973)
* Prefixing source files in source/slang with slang- * Prefix source in source/slang with slang- prefix. * Rename core source files with slang- prefix. * Update project files. * Fix problems from automatic merge.
Diffstat (limited to 'source/slang/slang-ir-missing-return.cpp')
-rw-r--r--source/slang/slang-ir-missing-return.cpp43
1 files changed, 43 insertions, 0 deletions
diff --git a/source/slang/slang-ir-missing-return.cpp b/source/slang/slang-ir-missing-return.cpp
new file mode 100644
index 000000000..527fdda5f
--- /dev/null
+++ b/source/slang/slang-ir-missing-return.cpp
@@ -0,0 +1,43 @@
+// ir-missing-return.cpp
+#include "slang-ir-missing-return.h"
+
+#include "slang-ir.h"
+#include "slang-ir-insts.h"
+
+namespace Slang {
+
+class DiagnosticSink;
+struct IRModule;
+
+void checkForMissingReturnsRec(
+ IRInst* inst,
+ DiagnosticSink* sink)
+{
+ if( auto code = as<IRGlobalValueWithCode>(inst) )
+ {
+ for( auto block : code->getBlocks() )
+ {
+ auto terminator = block->getTerminator();
+
+ if( auto missingReturn = as<IRMissingReturn>(terminator) )
+ {
+ sink->diagnose(missingReturn, Diagnostics::missingReturn);
+ }
+ }
+ }
+
+ for( auto childInst : inst->getDecorationsAndChildren() )
+ {
+ checkForMissingReturnsRec(childInst, sink);
+ }
+}
+
+void checkForMissingReturns(
+ IRModule* module,
+ DiagnosticSink* sink)
+{
+ // Look for any `missingReturn` instructions
+ checkForMissingReturnsRec(module->getModuleInst(), sink);
+}
+
+}