[PATCH] D79330: [Analyzer][VLASizeChecker] Check for VLA size overflow.

Balázs Kéri via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri May 29 09:13:54 PDT 2020

Previous message: [PATCH] D79330: [Analyzer][VLASizeChecker] Check for VLA size overflow.
Next message: [PATCH] D79587: [CodeGen][SVE] Legalisation of extends with scalable types
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

balazske added a comment.

Strange: Even if the assume for zero index size does not indicate problem (assume that index length is not zero) the `getKnownValue` returns 0 for it.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79330

Previous message: [PATCH] D79330: [Analyzer][VLASizeChecker] Check for VLA size overflow.
Next message: [PATCH] D79587: [CodeGen][SVE] Legalisation of extends with scalable types
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list