[cfe-commits] r61147 - in /cfe/trunk: lib/Analysis/CFRefCount.cpp test/Analysis/uninit-vals-ps.c

Ted Kremenek kremenek at apple.com
Wed Mar 11 15:07:51 PDT 2009

On Mar 10, 2009, at 9:33 PM, Zhongxing Xu wrote:

> We would have to invalidate a TypedViewRegion(void*,  
> VarRegion('encoding')). Then StoreManager should canonicalize it to  
> VarRegion('encoding').
> Does that mean we have a new rule for canonicalization of discarding  
> void* typed view besides discarding typedefs? That is, void* typed  
> view is another kind of 'sugar' like typedefs?
> My concern for not having consistent rules is because this. Would we  
> have more rules like this?

Basically we need to define "correctness" and "semantics".  We can't  
get around doing either if we want to...

(a) Analyzing the effects of expressions correctly


(b) Catch path-sensitive violations of the type system.

I didn't say it was going to be easy, but I think the rules will be  
fairly well structured if we have the right grounding in our design.

More information about the cfe-commits mailing list