<html>
    <head>
      <base href="https://llvm.org/bugs/" />
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW --- - [Polly] isl_ctx not freed: memory leak in new domain construction"
   href="https://llvm.org/bugs/show_bug.cgi?id=25240">25240</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>[Polly] isl_ctx not freed: memory leak in new domain construction
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>Projects
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>unspecified
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>PC
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>Linux
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>normal
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>Polly
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>polly-dev@googlegroups.com
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>tobias@grosser.es
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>llvm-bugs@lists.llvm.org
          </td>
        </tr>

        <tr>
          <th>Classification</th>
          <td>Unclassified
          </td>
        </tr></table>
      <p>
        <div>
        <pre>Created <span class=""><a href="attachment.cgi?id=15100" name="attach_15100" title="Test case">attachment 15100</a> <a href="attachment.cgi?id=15100&action=edit" title="Test case">[details]</a></span>
Test case

With r250655 I get the following error when calling 'polly-opt -polly-scops':

/home/grosser/Projects/polly/git/tools/polly/lib/External/isl/isl_ctx.c:245:
isl_ctx freed, but some objects still reference it

The relevant valgrind trace is:


==7281==    at 0x4C2DC90: calloc (in
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==7281==    by 0x1826AF25: isl_calloc_or_die (isl_ctx.c:67)
==7281==    by 0x182EA272: isl_schedule_from_schedule_tree (isl_schedule.c:51)
==7281==    by 0x182EA332: isl_schedule_from_domain (isl_schedule.c:79)
==7281==    by 0x18159DBE: polly::Scop::buildSchedule(llvm::Region*,
llvm::DenseMap<llvm::Loop*, std::pair<isl_schedule*, unsigned int>,
llvm::DenseMapInfo<llvm::Loop*>, llvm::detail::DenseMapPair<llvm::Loop*,
std::pair<isl_schedule*, unsigned int> > >&) (ScopInfo.cpp:3080)
==7281==    by 0x181596F7: polly::Scop::init(llvm::AAResults&)
(ScopInfo.cpp:2379)
==7281==    by 0x1815F4DE: polly::ScopInfo::buildScop(llvm::Region&,
llvm::DominatorTree&) (ScopInfo.cpp:3549)
==7281==    by 0x1815FA6D: polly::ScopInfo::runOnRegion(llvm::Region*,
llvm::RGPassManager&) (ScopInfo.cpp:3603)
==7281==    by 0x102BCABD: llvm::RGPassManager::runOnFunction(llvm::Function&)
(RegionPass.cpp:99)
==7281==    by 0x11729C6E: llvm::FPPassManager::runOnFunction(llvm::Function&)
(LegacyPassManager.cpp:1521)
==7281==    by 0x11729F84: llvm::FPPassManager::runOnModule(llvm::Module&)
(LegacyPassManager.cpp:1542)
==7281==    by 0x1172A719: (anonymous
namespace)::MPPassManager::runOnModule(llvm::Module&)
(LegacyPassManager.cpp:1598)
==7281==    by 0x1172A245: llvm::legacy::PassManagerImpl::run(llvm::Module&)
(LegacyPassManager.cpp:1701)
==7281==    by 0x1172AC30: llvm::legacy::PassManager::run(llvm::Module&)
(LegacyPassManager.cpp:1732)
==7281==    by 0x44B6DF: main (opt.cpp:599)</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>