]> granicus.if.org Git - clang/commit
[analyzer] Member function calls that use qualified names are non-virtual.
authorJordan Rose <jordan_rose@apple.com>
Tue, 11 Sep 2012 00:31:02 +0000 (00:31 +0000)
committerJordan Rose <jordan_rose@apple.com>
Tue, 11 Sep 2012 00:31:02 +0000 (00:31 +0000)
commit00b4f64ecb26b031c1f4888f39be6c706156356a
tree6080a5637175d503da6ba9b4c4bc3316ecc1ccdd
parente08dcbe75eb9b3ffe6f1f60ac2b216b4c878606a
[analyzer] Member function calls that use qualified names are non-virtual.

C++11 [expr.call]p1: ...If the selected function is non-virtual, or if the
  id-expression in the class member access expression is a qualified-id,
  that function is called. Otherwise, its final overrider in the dynamic type
  of the object expression is called.

<rdar://problem/12255556>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163577 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
lib/StaticAnalyzer/Core/CallEvent.cpp
test/Analysis/dtor.cpp
test/Analysis/inline.cpp