<p>Try creduce?</p>
<div class="gmail_quote">20.09.2013 4:38 ΠΟΜΨΪΟΧΑΤΕΜΨ "Aditya Kumar" <<a href="mailto:hiraditya@codeaurora.org">hiraditya@codeaurora.org</a>> ΞΑΠΙΣΑΜ:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I was compiling a program when I hit this segmentation fault. The program is<br>
kind of big and I don't know how to reduce it to a minimal test case.<br>
<br>
<br>
<br>
> -----Original Message-----<br>
> From: Jordan Rose [mailto:<a href="mailto:jordan_rose@apple.com">jordan_rose@apple.com</a>]<br>
> Sent: Thursday, September 19, 2013 11:13 AM<br>
> To: Aditya Kumar<br>
> Cc: 'Clang Dev'<br>
> Subject: Re: [cfe-dev] [StaticAnalyzer] Potential bug in MemRegion.cpp?<br>
><br>
> I think the bug here is that "Child" should never be NULL. How are you<br>
> getting into this situation?<br>
><br>
> Jordan<br>
><br>
> On Sep 19, 2013, at 8:15 , Aditya Kumar <<a href="mailto:hiraditya@codeaurora.org">hiraditya@codeaurora.org</a>> wrote:<br>
><br>
> > When the following function is called by (RegionOffset<br>
> > MemRegion::getAsOffset() const:1257), and the first parameter (Child)<br>
> > is a NULL pointer I get a segmentation fault.<br>
> ><br>
> > @file: MemRegion.cpp<br>
> > 01164 static bool isImmediateBase(const CXXRecordDecl *Child,<br>
> > 01165 š š š š š š š š š š š š š š const CXXRecordDecl *Base) {<br>
> > 01166 š // Note that we do NOT canonicalize the base class here, because<br>
> > 01167 š // ASTRecordLayout doesn't either. If that leads us down the<br>
wrong<br>
> > path,<br>
> > 01168 š // so be it; at least we won't crash.<br>
> > 01169 š for (CXXRecordDecl::base_class_const_iterator I =<br>
> > Child->bases_begin(),<br>
> > 01170 š š š š š š š š š š š š š š š š š š š š š š š š E =<br>
> > Child->bases_end();<br>
> > 01171 š š š šI != E; ++I) {<br>
> > 01172 š š if (I->getType()->getAsCXXRecordDecl() == Base)<br>
> > 01173 š š š return true;<br>
> > 01174 š }<br>
> > 01175<br>
> > 01176 š return false;<br>
> > 01177 }<br>
> ><br>
> > For now I just return `false' when `Child' pointer is NULL. Is this<br>
> > fix okay or there is something else required to be done?<br>
> ><br>
> ><br>
> > Thanks,<br>
> > -Aditya<br>
> ><br>
> ><br>
> > _______________________________________________<br>
> > cfe-dev mailing list<br>
> > <a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
> > <a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
<br>
<br>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
</blockquote></div>