diff options
| author | Michael Kruse <llvm@meinersbur.de> | 2018-08-01 22:28:32 +0000 |
|---|---|---|
| committer | Michael Kruse <llvm@meinersbur.de> | 2018-08-01 22:28:32 +0000 |
| commit | 842bdd0071df8bd810fc963e8a1924af7fe14f55 (patch) | |
| tree | fc420fc0f0b90c9831dc4e2dd71643116917c306 /polly/include | |
| parent | ce3efe57ef4264a20da5abfe526e1ed52fc66905 (diff) | |
| download | bcm5719-llvm-842bdd0071df8bd810fc963e8a1924af7fe14f55.tar.gz bcm5719-llvm-842bdd0071df8bd810fc963e8a1924af7fe14f55.zip | |
[ScopBuilder] Set domain to empty instead of NULL.
The domain generation used nullptr to mark the domain of an error block
as never-executed. Later, nullptr domains are recreated with a
zero-tuple domain that then mismatches with the expected domain the
error block within the loop.
Instead of using nullptr, assign an empty domain which preserves the
expected space. Remove empty domains during SCoP simplification.
Fixes llvm.org/PR38218.
llvm-svn: 338646
Diffstat (limited to 'polly/include')
| -rw-r--r-- | polly/include/polly/ScopInfo.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/include/polly/ScopInfo.h b/polly/include/polly/ScopInfo.h index 1f56c94bebc..c6bf0e5e52e 100644 --- a/polly/include/polly/ScopInfo.h +++ b/polly/include/polly/ScopInfo.h @@ -2295,7 +2295,7 @@ private: void removeFromStmtMap(ScopStmt &Stmt); /// Removes all statements where the entry block of the statement does not - /// have a corresponding domain in the domain map. + /// have a corresponding domain in the domain map (or it is empty). void removeStmtNotInDomainMap(); /// Mark arrays that have memory accesses with FortranArrayDescriptor. |

