<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Sujit,<div><br></div><div>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.</div><div><br></div><div>Thanks,</div><div>Anna.</div><div><br><div><div>On Dec 4, 2012, at 7:59 PM, Sujit Kamthe <<a href="mailto:Sujit.Kamthe@kpitcummins.com">Sujit.Kamthe@kpitcummins.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div lang="EN-US" link="blue" vlink="purple" style="font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div class="WordSection1" style="page: WordSection1; "><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); ">Hi,<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); ">I am implementing a static analyzer check where I want to compare data types of two variable on LHS and RHS of an expression.<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); ">e.g.<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-indent: 0.5in; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); ">int x;<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-indent: 0.5in; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); ">unsigned int y;<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; text-indent: 0.5in; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); ">y=x; //Check data type of RHS and LHS<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); "> <o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); ">Please suggest which checker type to use.<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); ">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.<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); ">Please suggest.<o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><span style="font-family: 'Trebuchet MS', sans-serif; color: rgb(23, 54, 93); "> </span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><span style="font-size: 8pt; font-family: 'Courier New'; color: rgb(31, 73, 125); ">Regards,</span><span style="font-family: 'Courier New'; color: rgb(31, 73, 125); "><o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><b><span style="font-size: 10pt; font-family: 'Courier New'; color: rgb(84, 141, 212); ">Sujit Kamthe<o:p></o:p></span></b></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><b><span style="font-size: 10pt; font-family: 'Courier New'; color: rgb(84, 141, 212); "> </span></b></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><b><span style="font-size: 10pt; font-family: 'Courier New'; color: rgb(84, 141, 212); "><image001.jpg></span></b><span style=""><o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><span style="font-size: 8pt; color: rgb(89, 89, 89); ">Productivity & FE |</span><span style="font-size: 8pt; color: rgb(118, 146, 60); "> </span><span style="font-size: 8pt; color: rgb(89, 89, 89); ">Automotive and Engineering SBU | KPITCummins Infosystems Ltd|Board: +91 20 66525000 | Extn:3102 |Mobile:7709076120 </span><span style=""><o:p></o:p></span></div><div style="margin: 0in 0in 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif; "><o:p> </o:p></div></div><br clear="all">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. _______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu" style="color: purple; text-decoration: underline; ">cfe-dev@cs.uiuc.edu</a><br><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" style="color: purple; text-decoration: underline; ">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a></div></blockquote></div><br></div></body></html>