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

[Ted Kremenek]

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

and

(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.