diff options
| author | Siddharth Bhat <siddu.druid@gmail.com> | 2018-07-04 09:40:55 +0000 |
|---|---|---|
| committer | Siddharth Bhat <siddu.druid@gmail.com> | 2018-07-04 09:40:55 +0000 |
| commit | d38dc5915e97eabc1f1ec24bea25d36323189e8b (patch) | |
| tree | a98b0e62cce23db958d20a558ece3499bde81595 /polly | |
| parent | 1033c4bc779fd9e5b8ca8bf024c3d96282d312c2 (diff) | |
[Polly-ACC] Add isl_space.h to gpu_tree.c
Summary:
This patch adds <isl_space.h> to gpu_tree.c. This prevents a segfault
when allocating a new isl_space in the function create_sync_domain(), as
the compiler now knows that the return type is a pointer instead of
assuming the function returns an int.
This has been updated in upstream PPCG, so we should bump up our PPCG
version.
Initially discovered by Philip Pfaffe in Polly.
Reviewers: grosser, bollu, philip.pfaffe
Reviewed By: bollu
Subscribers: nemanjai, kbarton, llvm-commits
Differential Revision: https://reviews.llvm.org/D48883
Contributed-by: Alain Denzler <alaindenzler@gmail.com>
Diffstat (limited to 'polly')
| -rw-r--r-- | polly/lib/External/ppcg/gpu_tree.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/lib/External/ppcg/gpu_tree.c b/polly/lib/External/ppcg/gpu_tree.c index 918bc0bced2..0dcc7a144ee 100644 --- a/polly/lib/External/ppcg/gpu_tree.c +++ b/polly/lib/External/ppcg/gpu_tree.c @@ -11,6 +11,7 @@ #include <isl/set.h> #include <isl/union_set.h> +#include <isl/space.h> #include "gpu_tree.h" |