[PATCH] D51680: [analyzer][UninitializedObjectChecker] New flag to ignore records based on it's fields
Umann Kristóf via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Sep 10 10:29:56 PDT 2018
Szelethus updated this revision to Diff 164696.
Szelethus retitled this revision from "[analyzer][UninitializedObjectChecker] New flag to ignore union-like constructs" to "[analyzer][UninitializedObjectChecker] New flag to ignore records based on it's fields".
Szelethus edited the summary of this revision.
Szelethus added a comment.
Generalized the patch so that the user can supply the pattern that is matched against the fields of the records.
https://reviews.llvm.org/D51680
Files:
lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObject.h
lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp
test/Analysis/cxx-uninitialized-object-unionlike-constructs.cpp
www/analyzer/alpha_checks.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D51680.164696.patch
Type: text/x-patch
Size: 7132 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180910/f850e8a5/attachment.bin>
More information about the cfe-commits
mailing list