diff options
| author | jsmall-nvidia <jsmall@nvidia.com> | 2019-05-31 17:20:37 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-31 17:20:37 -0400 |
| commit | 6cbc3929a54d37bd23cb5efa8e3320ba02f78b2f (patch) | |
| tree | 5a23cb47782e9e2a77762c90dd35da1005eba8d0 /source/slang/slang-ir-missing-return.cpp | |
| parent | b81ff3ef968d1cc4e954b31a1812b3c391d17b02 (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.cpp | 43 |
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); +} + +} |
