maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

use a concrete type instead of a trait type to make code more readable. 

llvm-svn: 74047
This commit is contained in:
Zhongxing Xu 2009-06-24 01:12:41 +00:00
parent 443af01b1a
commit 33420090ae
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
clang/lib/Analysis/RegionStore.cpp
View File

@ -892,8 +892,7 @@ SVal RegionStoreManager::Retrieve(const GRState *state, Loc L, QualType T) {
// If the region is an element or field, it may have a default value.
if (isa<ElementRegion>(R) || isa<FieldRegion>(R)) {
const MemRegion* SuperR = cast<SubRegion>(R)->getSuperRegion();
GRStateTrait<RegionDefaultValue>::lookup_type D =
state->get<RegionDefaultValue>(SuperR);
const SVal* D = state->get<RegionDefaultValue>(SuperR);
if (D) {
// If the default value is symbolic, we need to create a new symbol.
if (D->hasConjuredSymbol())