diff options
| -rw-r--r-- | lib/Checker/CastSizeChecker.cpp | 5 | ||||
| -rw-r--r-- | test/Analysis/malloc.c | 12 |
2 files changed, 17 insertions, 0 deletions
diff --git a/lib/Checker/CastSizeChecker.cpp b/lib/Checker/CastSizeChecker.cpp index 754d775a65..59ea9e0e84 100644 --- a/lib/Checker/CastSizeChecker.cpp +++ b/lib/Checker/CastSizeChecker.cpp @@ -63,6 +63,11 @@ void CastSizeChecker::PreVisitCastExpr(CheckerContext &C, const CastExpr *CE) { CharUnits RegionSize = CharUnits::fromQuantity(CI->getValue().getSExtValue()); CharUnits TypeSize = C.getASTContext().getTypeSizeInChars(ToPointeeTy); + + // void, and a few other un-sizeable types + if (TypeSize.isZero()) + return; + if (RegionSize % TypeSize != 0) { if (ExplodedNode *N = C.GenerateSink()) { if (!BT) diff --git a/test/Analysis/malloc.c b/test/Analysis/malloc.c index 3d59d34f07..b4c1314b34 100644 --- a/test/Analysis/malloc.c +++ b/test/Analysis/malloc.c @@ -75,8 +75,20 @@ void PR6123() { void PR7217() { int *buf = malloc(2); // expected-warning{{Cast a region whose size is not a multiple of the destination type size.}} buf[1] = 'c'; // not crash +} + +void mallocCastToVoid() { + void *p = malloc(2); + const void *cp = p; // not crash + free(p); +} +void mallocCastToFP() { + void *p = malloc(2); + void (*fp)() = p; // not crash + free(p); } + // This tests that malloc() buffers are undefined by default char mallocGarbage () { char *buf = malloc(2); |