| commit | fdeebee898c36b196bea92a0055a41d097c05718 | |
| author | Tobias Grosser <tobias@grosser.es> | |
| Thu, 8 Sep 2016 14:08:01 +0000 (8 14:08 +0000) | ||
| committer | Tobias Grosser <tobias@grosser.es> | |
| Thu, 8 Sep 2016 14:08:01 +0000 (8 14:08 +0000) | ||
| tree | 52415c152aaee340fadc1c62221223a52cbd8ad4 | treesnapshot (tar.gz zip) |
| parent | b1114f024ff3084cfd7c6fdd0b3d40ad14c46b0e | commitdiff |
DependenceInfo: 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_union_map_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.
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@280938 91177308-0d34-0410-b5e6-96231b3b80d8
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_union_map_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.
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@280938 91177308-0d34-0410-b5e6-96231b3b80d8
| lib/Analysis/DependenceInfo.cpp | diffblobblamehistory |