parent
							
								
									3d8ccdb4be
								
							
						
					
					
						commit
						83b5ccbecf
					
				| 
						 | 
					@ -54,7 +54,7 @@ StoreManager::NewCastRegion(const GRState *state, const MemRegion* R,
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  // Check cast to ObjCQualifiedID type.
 | 
					  // Check cast to ObjCQualifiedID type.
 | 
				
			||||||
  if (ToTy->isObjCQualifiedIdType()) {
 | 
					  if (ToTy->isObjCQualifiedIdType()) {
 | 
				
			||||||
    // FIXME: Record the type information aside.
 | 
					    state = setCastType(state, R, ToTy);
 | 
				
			||||||
    return CastResult(state, R);
 | 
					    return CastResult(state, R);
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
		Reference in New Issue