diff options
Diffstat (limited to 'src/ir/possible-contents.cpp')
-rw-r--r-- | src/ir/possible-contents.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ir/possible-contents.cpp b/src/ir/possible-contents.cpp index 94c22aacc..d10f2b4ac 100644 --- a/src/ir/possible-contents.cpp +++ b/src/ir/possible-contents.cpp @@ -672,6 +672,13 @@ struct InfoCollector visitArraySet(set); } + void visitStringNew(StringNew* curr) { + if (curr->type == Type::unreachable) { + return; + } + addRoot(curr, PossibleContents::exactType(curr->type)); + } + // TODO: Model which throws can go to which catches. For now, anything thrown // is sent to the location of that tag, and any catch of that tag can // read them. |