llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-clang-static-analyzer-1 Author: Balázs Kéri (balazske) <details> <summary>Changes</summary> --- Full diff: https://github.com/llvm/llvm-project/pull/134387.diff 2 Files Affected: - (modified) clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp (+2) - (added) clang/test/Analysis/castsize.c (+25) ``````````diff diff --git a/clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp index 2cff97a591b8c..0b52c9bd8ac2a 100644 --- a/clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp @@ -62,6 +62,8 @@ static bool evenFlexibleArraySize(ASTContext &Ctx, CharUnits RegionSize, assert(Last && "empty structs should already be handled"); const Type *ElemType = Last->getType()->getArrayElementTypeNoTypeQual(); + if (!ElemType) + return false; CharUnits FlexSize; if (const ConstantArrayType *ArrayTy = Ctx.getAsConstantArrayType(Last->getType())) { diff --git a/clang/test/Analysis/castsize.c b/clang/test/Analysis/castsize.c new file mode 100644 index 0000000000000..139f79b8beb4b --- /dev/null +++ b/clang/test/Analysis/castsize.c @@ -0,0 +1,25 @@ +// RUN: %clang_analyze_cc1 -verify %s \ +// RUN: -analyzer-checker=core,unix.Malloc,alpha.core.CastSize + +void *malloc(unsigned long); + +struct s1 { + int a; + char x[]; +}; + +struct s2 { + int a[100]; + char x[]; +}; + +union u { + struct s1 a; + struct s2 b; +}; + +static union u *test() { + union u *req; + req = malloc(5); // expected-warning{{Cast a region whose size is not a multiple of the destination type size}} + return req; +} `````````` </details> https://github.com/llvm/llvm-project/pull/134387 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
