<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><span class="vcard"><a class="email" href="mailto:abramo.bagnara@bugseng.com" title="Abramo Bagnara <abramo.bagnara@bugseng.com>"> <span class="fn">Abramo Bagnara</span></a>
</span> changed
          <a class="bz_bug_link 
          bz_status_REOPENED "
   title="REOPENED - Crash for alpha.core.CastToStruct"
   href="https://bugs.llvm.org/show_bug.cgi?id=31173">bug 31173</a>
          <br>
             <table border="1" cellspacing="0" cellpadding="8">
          <tr>
            <th>What</th>
            <th>Removed</th>
            <th>Added</th>
          </tr>

         <tr>
           <td style="text-align:right;">Status</td>
           <td>RESOLVED
           </td>
           <td>REOPENED
           </td>
         </tr>

         <tr>
           <td style="text-align:right;">Resolution</td>
           <td>FIXED
           </td>
           <td>---
           </td>
         </tr></table>
      <p>
        <div>
            <b><a class="bz_bug_link 
          bz_status_REOPENED "
   title="REOPENED - Crash for alpha.core.CastToStruct"
   href="https://bugs.llvm.org/show_bug.cgi?id=31173#c4">Comment # 4</a>
              on <a class="bz_bug_link 
          bz_status_REOPENED "
   title="REOPENED - Crash for alpha.core.CastToStruct"
   href="https://bugs.llvm.org/show_bug.cgi?id=31173">bug 31173</a>
              from <span class="vcard"><a class="email" href="mailto:abramo.bagnara@bugseng.com" title="Abramo Bagnara <abramo.bagnara@bugseng.com>"> <span class="fn">Abramo Bagnara</span></a>
</span></b>
        <pre>The original testcase still fails with rev 295587 (apparently in the same way,
unfortunately stack trace printing seems to be broken):


$ cat q.c
struct s {
  int v;
} x;

int main() {
  struct t* p = (struct t*) &x;
}
$ clang-5.0 -cc1 -analyze -analyzer-checker=alpha.core.CastToStruct q.c
/usr/lib/x86_64-linux-gnu/libLLVM-5.0.so.1(_ZN4llvm3sys15PrintStackTraceERNS_11raw_ostreamE+0x2a)[0x7f03fc99a80a]
/usr/lib/x86_64-linux-gnu/libLLVM-5.0.so.1(_ZN4llvm3sys17RunSignalHandlersEv+0x3e)[0x7f03fc99899e]
/usr/lib/x86_64-linux-gnu/libLLVM-5.0.so.1(+0x745aec)[0x7f03fc998aec]
/lib/x86_64-linux-gnu/libpthread.so.0(+0x11390)[0x7f03ff307390]
clang-5.0(_ZNK5clang10ASTContext18getASTRecordLayoutEPKNS_10RecordDeclE+0x4be)[0x18844de]
clang-5.0(_ZNK5clang10ASTContext15getTypeInfoImplEPKNS_4TypeE+0x24a)[0x17454da]
clang-5.0(_ZNK5clang10ASTContext11getTypeInfoEPKNS_4TypeE+0xac)[0x173d83c]
clang-5.0[0x783f36]
clang-5.0[0x786846]
clang-5.0[0x157e8d1]
clang-5.0[0x157f0e3]
clang-5.0[0x157bb74]
clang-5.0[0x157de98]
clang-5.0[0x157f0e3]
clang-5.0[0x1580bef]
clang-5.0[0x157bb4b]
clang-5.0[0x1580d03]
clang-5.0(_ZN5clang4ento14CheckerManager20runCheckersOnASTBodyEPKNS_4DeclERNS0_15AnalysisManagerERNS0_11BugReporterE+0x65)[0x15fadd5]
clang-5.0[0xd67451]
clang-5.0[0xd6d543]
clang-5.0[0xd6803f]
clang-5.0[0xd6fb57]
clang-5.0(_ZN5clang8ParseASTERNS_4SemaEbb+0x318)[0xd74db8]
clang-5.0(_ZN5clang14FrontendAction7ExecuteEv+0x11e)[0xb2e9be]
clang-5.0(_ZN5clang16CompilerInstance13ExecuteActionERNS_14FrontendActionE+0x136)[0xaff226]
clang-5.0(_ZN5clang25ExecuteCompilerInvocationEPNS_16CompilerInstanceE+0x9e2)[0xbadd22]
clang-5.0(_Z8cc1_mainN4llvm8ArrayRefIPKcEES2_Pv+0x958)[0x7cefb8]
clang-5.0(main+0x1bef)[0x7bfc7f]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7f03fb3d1830]
clang-5.0(_start+0x29)[0x7cd099]
Stack dump:
0.      Program arguments: clang-5.0 -cc1 -analyze
-analyzer-checker=alpha.core.CastToStruct q.c 
1.      <eof> parser at end of file
Segmentation fault (core dumped)</pre>
        </div>
      </p>


      <hr>
      <span>You are receiving this mail because:</span>

      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>