NoQ added inline comments.
================
Comment at: lib/StaticAnalyzer/Checkers/CStringChecker.cpp:1560-1566
// If the size is known to be zero, we're done.
if (StateZeroSize && !StateNonZeroSize) {
StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);
C.addTransition(StateZeroSize);
return;
}
----------------
One more cornercase where the return value needs to be corrected. It'd be great
to de-duplicate this code to avoid similar problems in the future.
Test case:
```
int foo(char *dst, const char *src) {
return strlcpy(dst, src, 0); // no-crash
}
```
Repository:
rC Clang
https://reviews.llvm.org/D45177
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
