Don't require annotating explicit null pointers

62ac9c86 · Kevin Modzelewski · 7044c24c · 62ac9c86
Commit 62ac9c86 authored Jul 11, 2016 by Kevin Modzelewski
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

src/codegen/irgen/refcounts.cpp src/codegen/irgen/refcounts.cpp +4 -0

No files found.
--- a/src/codegen/irgen/refcounts.cpp
+++ b/src/codegen/irgen/refcounts.cpp
@@ -77,6 +77,10 @@ llvm::Value* RefcountTracker::setType(llvm::Value* v, RefType reftype) {

    assert(var.reftype == reftype || var.reftype == RefType::UNKNOWN);
    var.reftype = reftype;
+
+    if (llvm::isa<ConstantPointerNull>(v))
+        var.nullable = true;
+
    return v;
 }