[PATCH] D51531: [analyzer][UninitializedObjectChecker] Uninit regions are only reported once

[Umann Kristóf via Phabricator via cfe-commits]

Szelethus created this revision.
Szelethus added reviewers: NoQ, george.karpenkov, xazax.hun, rnkovacs.
Herald added subscribers: cfe-commits, mikhail.ramalho, a.sidorin, szepet, whisperity.

Especially with pointees, it a lot of meaningless reports came from uninitialized regions that were already reported.

This is one of a series of patches that aims to drastically cut down the amount of reports the checker emits, with the eventual goal being re-enabling dereferencing by default and moving out of alpha.


Repository:
  rC Clang

https://reviews.llvm.org/D51531

Files:
  lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObject.h
  lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp
  lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedPointee.cpp
  test/Analysis/cxx-uninitialized-object-ptr-ref.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D51531.163486.patch
Type: text/x-patch
Size: 9202 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180831/5247bcc1/attachment-0001.bin>