[cfe-dev] Which Checker type to use?

[Anna Zaks]

Sujit,

Can you give us a bit more information about what you are trying to achieve? For example, it is not clear that you would need path sensitive analyses if you are just trying to compare the types of LHS and RHS expressions of an assignment.

Thanks,
Anna.

On Dec 4, 2012, at 7:59 PM, Sujit Kamthe <Sujit.Kamthe at kpitcummins.com> wrote:

> Hi,
> I am implementing a static analyzer check where I want to compare data types of two variable on LHS and RHS of an expression.
>  
> e.g.
> int x;
> unsigned int y;
> y=x; //Check data type of RHS and LHS
>          
> Please suggest which checker type to use.
> I tried using bind and then type casted the LHS to TypedValueRegion, but I could not get the data type for RHS doing the same thing.
> Please suggest.
>  
> Regards,
> Sujit Kamthe
>  
> <image001.jpg>
> Productivity & FE | Automotive and Engineering SBU | KPITCummins Infosystems Ltd|Board: +91 20 66525000 | Extn:3102 |Mobile:7709076120 
>  
> 
> This message contains information that may be privileged or confidential and is the property of the KPIT Cummins Infosystems Ltd. It is intended only for the person to whom it is addressed. If you are not the intended recipient, you are not authorized to read, print, retain copy, disseminate, distribute, or use this message or any part thereof. If you receive this message in error, please notify the sender immediately and delete all copies of this message. KPIT Cummins Infosystems Ltd. does not accept any liability for virus infected mails. _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20121207/2bee9372/attachment.html>