[PATCH] D58573: [analyzer] Move UninitializedObject out of alpha

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat Feb 23 01:58:07 PST 2019


Szelethus created this revision.
Szelethus added reviewers: dcoughlin, NoQ, xazax.hun, rnkovacs, whisperity, a.sidorin.
Szelethus added a project: clang.
Herald added subscribers: cfe-commits, gamesh411, dkrupp, donat.nagy, mikhail.ramalho, szepet, baloghadamsoftware.

I've tested the checker on 5 open source projects with 3 different configurations:

http://cc.inf.elte.hu:15420/Default/#

I think there is room for discussion whether which package should this checker reside in, but in terms of development, I would argue that this is ready to go.

Shall I make some other tests?


Repository:
  rC Clang

https://reviews.llvm.org/D58573

Files:
  docs/analyzer/checkers.rst
  include/clang/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObject.h
  test/Analysis/cxx-uninitialized-object-inheritance.cpp
  test/Analysis/cxx-uninitialized-object-no-dereference.cpp
  test/Analysis/cxx-uninitialized-object-notes-as-warnings.cpp
  test/Analysis/cxx-uninitialized-object-ptr-ref.cpp
  test/Analysis/cxx-uninitialized-object-unguarded-access.cpp
  test/Analysis/cxx-uninitialized-object-unionlike-constructs.cpp
  test/Analysis/cxx-uninitialized-object.cpp
  test/Analysis/objcpp-uninitialized-object.mm
  www/analyzer/alpha_checks.html
  www/analyzer/available_checks.html

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D58573.188033.patch
Type: text/x-patch
Size: 25457 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190223/60c6a67a/attachment-0001.bin>


More information about the cfe-commits mailing list