[PATCH] D152197: Fix static analyzer bugs with null pointer dereferences in CheckSizelessVectorOperands()

Soumi Manna via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jun 6 20:06:27 PDT 2023


Manna updated this revision to Diff 529138.
Manna retitled this revision from "[NFC][CLANG] Fix static analyzer bugs with null pointer dereferences in CheckSizelessVectorOperands()" to "Fix static analyzer bugs with null pointer dereferences in CheckSizelessVectorOperands()".
Manna edited the summary of this revision.
Manna added a comment.

Thank you @erichkeane and @sdesmalen for reviews and feedbacks.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D152197/new/

https://reviews.llvm.org/D152197

Files:
  clang/lib/Sema/SemaExpr.cpp


Index: clang/lib/Sema/SemaExpr.cpp
===================================================================
--- clang/lib/Sema/SemaExpr.cpp
+++ clang/lib/Sema/SemaExpr.cpp
@@ -11145,6 +11145,7 @@
   }
 
   if (LHSType->isVLSTBuiltinType() && RHSType->isVLSTBuiltinType() &&
+      LHSBuiltinTy && RHSBuiltinTy &&
       Context.getBuiltinVectorTypeInfo(LHSBuiltinTy).EC !=
           Context.getBuiltinVectorTypeInfo(RHSBuiltinTy).EC) {
     Diag(Loc, diag::err_typecheck_vector_lengths_not_equal)


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D152197.529138.patch
Type: text/x-patch
Size: 493 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20230607/c511977e/attachment.bin>


More information about the cfe-commits mailing list