[PATCH] D144683: [analyzer] Fix of the initialization list parsing.

[Eänolituri Lómitaurë via Phabricator via cfe-commits]

earnol created this revision.
Herald added subscribers: steakhal, manas, ASDenysPetrov, martong, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun.
Herald added a reviewer: NoQ.
Herald added a project: All.
earnol requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.

  What had been done:
   - Passing a proper QualType for the initlist conversion
   - Compatibility fixes for unit tests introduced.
   - Various contingincies added to make sure the new code will be
     invoked only where it is needed.
   - New tests added to cover some cases in which new code will work
     properly. The cases where it will fail were not added
     intentionally as proper solution requires less localized
     changes.
   - Account for the case when source type info unavailable.
  
  NB: Negative test cases were not added as problem was not fully
  fixed and interlaced combinations of compound structures will
  still cause crash, like union in array or array in struct
  containing array with struct.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D144683

Files:
  clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
  clang/lib/StaticAnalyzer/Core/RegionStore.cpp
  clang/test/Analysis/initializer-list-struct-analysis-crash.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D144683.500007.patch
Type: text/x-patch
Size: 12792 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20230224/f3772adc/attachment-0001.bin>