]> granicus.if.org Git - clang/commit
[analyzer] Better model for copying of array fields in implicit copy ctors.
authorJordan Rose <jordan_rose@apple.com>
Wed, 3 Apr 2013 01:39:08 +0000 (01:39 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 3 Apr 2013 01:39:08 +0000 (01:39 +0000)
commitecee1651c100342366a9417c85c6e50399039930
treedf70d7d6ab62bd4765089fb11aac8b0e18067fbb
parent73c56bb0c8e722f4f0c0a044f13064d381f1ec8d
[analyzer] Better model for copying of array fields in implicit copy ctors.

- Find the correct region to represent the first array element when
  constructing a CXXConstructorCall.
- If the array is trivial, model the copy with a primitive load/store.
- Don't warn about the "uninitialized" subscript in the AST -- we don't use
  the helper variable that Sema provides.

<rdar://problem/13091608>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@178602 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/UndefinedArraySubscriptChecker.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp
lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
test/Analysis/ctor-inlining.mm