Diffusion LLVM Github Monorepo 54529a347e13

[analyzer] Handle C++ member initializers and destructors.
54529a347e13
Actions

Authored by jordan_rose on Jul 26 2012, 1:04 PM.

Description

[analyzer] Handle C++ member initializers and destructors.

This uses CFG to tell if a constructor call is for a member, and uses
the member's region appropriately.

llvm-svn: 160808

Details

Committed

jordan_rose

Jul 26 2012, 1:04 PM

Parents

rG05375eb4ecc8: [analyzer] Use the CFG to see if a constructor is for a local variable.

Branches

Unknown

Tags

Unknown

Event Timeline

jordan_rose committed rG54529a347e13: [analyzer] Handle C++ member initializers and destructors. (authored by jordan_rose).Jul 26 2012, 1:04 PM

Changes (6)

Path

Size

clang/

include/

clang/

StaticAnalyzer/

Core/

PathSensitive/

ProgramState.h

lib/

StaticAnalyzer/

Core/

ExprEngine.cpp

ExprEngineCXX.cpp

ExprEngineCallAndReturn.cpp

test/

Analysis/

dtor.cpp

initializer.cpp

rG54529a347e13

View Options

clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

View Options

clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

View Options

clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp

View Options

clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp

View Options

clang/test/Analysis/dtor.cpp

View Options

clang/test/Analysis/initializer.cpp

[analyzer] Handle C++ member initializers and destructors.54529a347e13Actions

Description

Details

Event Timeline

Changes (6)

rG54529a347e13

clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp

clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp

clang/test/Analysis/dtor.cpp

clang/test/Analysis/initializer.cpp

[analyzer] Handle C++ member initializers and destructors.
54529a347e13
Actions