aboutsummaryrefslogtreecommitdiff
path: root/src/analyze.cpp
diff options
context:
space:
mode:
authorAndrew Kelley <andrew@ziglang.org>2019-02-14 16:10:12 -0500
committerAndrew Kelley <andrew@ziglang.org>2019-02-14 16:10:12 -0500
commitdf87044fd6588452755014d5909e0db1b776deb2 (patch)
tree2d41d109f257f1f03e26154c84528a0aa61eff20 /src/analyze.cpp
parent6769183a9d5f5ec69747f46d4d13c0f8709b2f46 (diff)
downloadzig-df87044fd6588452755014d5909e0db1b776deb2.tar.gz
zig-df87044fd6588452755014d5909e0db1b776deb2.zip
omit nonnull attribute for C pointers
See #1059
Diffstat (limited to 'src/analyze.cpp')
-rw-r--r--src/analyze.cpp4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/analyze.cpp b/src/analyze.cpp
index 90ce3d3371..55deafb3a8 100644
--- a/src/analyze.cpp
+++ b/src/analyze.cpp
@@ -4100,6 +4100,10 @@ ZigType *get_codegen_ptr_type(ZigType *type) {
return ty;
}
+bool type_is_nonnull_ptr(ZigType *type) {
+ return type_is_codegen_pointer(type) && !ptr_allows_addr_zero(type);
+}
+
bool type_is_codegen_pointer(ZigType *type) {
return get_codegen_ptr_type(type) == type;
}