xbolva00 added a comment. Since we are gonna mark args as nonull at the callsites, we can be more precisice since we know if "size" arg if constant. e.g. strncmp(d,s, 10) - we can mark even "s" as nonnull, right? https://reviews.llvm.org/D50039