]> granicus.if.org Git - clang/commit
[analyzer] Treat std::initializer_list as opaque rather than aborting.
authorJordan Rose <jordan_rose@apple.com>
Wed, 17 Jul 2013 17:16:33 +0000 (17:16 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 17 Jul 2013 17:16:33 +0000 (17:16 +0000)
commitbe2e1b11e3350e3a6e632c71beaab83aae3824d2
treed20327c10f18933f562349da7e3bf7b75da852ef
parentb17a2c119877b47cb3fb68c76a91dfe4d8cc6199
[analyzer] Treat std::initializer_list as opaque rather than aborting.

Previously, the use of a std::initializer_list (actually, a
CXXStdInitializerListExpr) would cause the analyzer to give up on the rest
of the path. Now, it just uses an opaque symbolic value for the
initializer_list and continues on.

At some point in the future we can add proper support for initializer_list,
with access to the elements in the InitListExpr.

<rdar://problem/14340207>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@186519 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/ExprEngine.cpp
test/Analysis/Inputs/system-header-simulator-cxx.h
test/Analysis/ctor.mm
test/Analysis/diagnostics/explicit-suppression.cpp