commit | 646019655c2e152ab0655033a33bc39b4fac6bc5 | [log] [tgz] |
---|---|---|
author | Kristof Umann <dkszelethus@gmail.com> | Tue Aug 21 10:45:21 2018 +0000 |
committer | Kristof Umann <dkszelethus@gmail.com> | Tue Aug 21 10:45:21 2018 +0000 |
tree | e66ffd99ca36878a20ef9855d831220d50760fdb | |
parent | 8e15b430929c775de731e8218dfb26761042419b [diff] [blame] |
[analyzer][UninitializedObjectChecker] Refactoring p6.: Move dereferencing to a function Now that it has it's own file, it makes little sense for isPointerOrReferenceUninit to be this large, so I moved dereferencing to a separate function. Differential Revision: https://reviews.llvm.org/D50509 llvm-svn: 340265
diff --git a/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp index 810e066..5e39cc1 100644 --- a/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp
@@ -265,7 +265,8 @@ continue; } - if (T->isAnyPointerType() || T->isReferenceType() || T->isBlockPointerType()) { + if (T->isAnyPointerType() || T->isReferenceType() || + T->isBlockPointerType()) { if (isPointerOrReferenceUninit(FR, LocalChain)) ContainsUninitField = true; continue;