From e45d5b6bf1bcf9fd16c3ecfadb9bde69f890b28d Mon Sep 17 00:00:00 2001
From: Martin Sebor <msebor@redhat.com>
Date: Tue, 31 Aug 2021 11:13:29 -0600
Subject: [PATCH] Add attribute returns nonnull to get_range_query.
gcc/ChangeLog:
* function.h (function): Add comments.
(get_range_query): Same. Add attribute returns nonnull.
---
gcc/function.h | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/gcc/function.h b/gcc/function.h
index 0db51775e7c6..36003e7576a8 100644
--- a/gcc/function.h
+++ b/gcc/function.h
@@ -312,7 +312,8 @@ struct GTY(()) function {
/* Range query mechanism for functions. The default is to pick up
global ranges. If a pass wants on-demand ranges OTOH, it must
- call enable/disable_ranger(). */
+ call enable/disable_ranger(). The pointer is never null. It
+ should be queried by calling get_range_query(). */
range_query * GTY ((skip)) x_range_query;
/* Last statement uid. */
@@ -719,10 +720,10 @@ extern const char *current_function_name (void);
extern void used_types_insert (tree);
/* Returns the currently active range access class. When there is no active
- range class, global ranges are used. */
+ range class, global ranges are used. Never returns null. */
-inline range_query *
-get_range_query (struct function *fun)
+ATTRIBUTE_RETURNS_NONNULL inline range_query *
+get_range_query (const struct function *fun)
{
return fun->x_range_query;
}
--
GitLab