summaryrefslogtreecommitdiff
path: root/src/ir/possible-contents.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/ir/possible-contents.cpp')
-rw-r--r--src/ir/possible-contents.cpp7
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.