diff options
| -rw-r--r-- | polly/tools/GPURuntime/GPUJIT.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/tools/GPURuntime/GPUJIT.c b/polly/tools/GPURuntime/GPUJIT.c index 941d1f86879..ec971580e89 100644 --- a/polly/tools/GPURuntime/GPUJIT.c +++ b/polly/tools/GPURuntime/GPUJIT.c @@ -340,6 +340,7 @@ void polly_launchKernel(PollyGPUFunction *Kernel, int GridWidth, } void polly_freeContext(PollyGPUContext *Context) { + dump_function(); if (Context->Cuda) { CuCtxDestroyFcnPtr(Context->Cuda); |
