llvm-project/polly/lib/Analysis
Tobias Grosser 55a7af7da5 ScopInfo: Make clear that no double-free problem exists
When running the clang static analyser to check for memory issues, this code
originally showed a double free, as the analyser was unable to understand that
isl_set_free always returns NULL and consequently later uses of the isl object
we just freed will never be reached. Without this knowledge, the analyser has
to issue a warning.

We refactor the code to make it clear that for empty maps the current loop
iteration is aborted.

llvm-svn: 280940
2016-09-08 14:08:07 +00:00
..
DependenceInfo.cpp DependenceInfo: Make clear that no double-free problem exists 2016-09-08 14:08:01 +00:00
PolyhedralInfo.cpp [GSoC] Add PolyhedralInfo pass - new interface to polly analysis 2016-07-25 12:48:45 +00:00
ScopBuilder.cpp Simplify AccFuncMap to vector<> AccessFunctions 2016-08-21 11:09:19 +00:00
ScopDetection.cpp ScopDetection: Make sure we do not accidentally divide by zero 2016-09-08 14:08:05 +00:00
ScopDetectionDiagnostic.cpp Drop '@brief' from doxygen comments 2016-09-02 06:33:33 +00:00
ScopGraphPrinter.cpp Migrate from NodeType * to NodeRef. 2016-08-22 22:30:27 +00:00
ScopInfo.cpp ScopInfo: Make clear that no double-free problem exists 2016-09-08 14:08:07 +00:00
ScopPass.cpp Decouple SCoP building logic from pass 2016-05-31 09:41:04 +00:00