From 43c4f9413c49c1545c14abdc4eef7dac56d050dc Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 25 Feb 2016 16:54:34 +0100 Subject: [PATCH] add pet_function_summary_get_ctx This will be needed in the next commit. Signed-off-by: Sven Verdoolaege --- summary.c | 7 +++++++ summary.h | 2 ++ 2 files changed, 9 insertions(+) diff --git a/summary.c b/summary.c index 3196e5f..f99e1be 100644 --- a/summary.c +++ b/summary.c @@ -112,6 +112,13 @@ __isl_give pet_function_summary *pet_function_summary_copy( return summary; } +/* Return the isl_ctx in which "summary" was created. + */ +isl_ctx *pet_function_summary_get_ctx(__isl_keep pet_function_summary *summary) +{ + return summary ? summary->ctx : NULL; +} + /* Free the data stored in "arg". */ static void free_arg(struct pet_function_summary_arg *arg) diff --git a/summary.h b/summary.h index 16e1057..9b61f0d 100644 --- a/summary.h +++ b/summary.h @@ -25,6 +25,8 @@ __isl_give pet_function_summary *pet_function_summary_copy( __isl_null pet_function_summary *pet_function_summary_free( __isl_take pet_function_summary *summary); +isl_ctx *pet_function_summary_get_ctx(__isl_keep pet_function_summary *summary); + int pet_function_summary_get_n_arg(__isl_keep pet_function_summary *summary); __isl_give pet_function_summary *pet_function_summary_set_int( -- 2.11.4.GIT