On Thu, Mar 31, 2022 at 2:47 PM Christian Göttsche
<cgzones@xxxxxxxxxxxxxx> wrote:
>
> It seems to be unused since its initial addition in 76ba6eaa
> ("Squashed 'libsepol/cil/' changes from 08520e9..28ad56e").
>
> Signed-off-by: Christian Göttsche <cgzones@xxxxxxxxxxxxxx>
Acked-by: James Carter <jwcart2@xxxxxxxxx>
> ---
> libsepol/cil/src/cil_tree.c | 9 ---------
> 1 file changed, 9 deletions(-)
>
> diff --git a/libsepol/cil/src/cil_tree.c b/libsepol/cil/src/cil_tree.c
> index 525b60d4..6376c208 100644
> --- a/libsepol/cil/src/cil_tree.c
> +++ b/libsepol/cil/src/cil_tree.c
> @@ -41,15 +41,6 @@
> #include "cil_parser.h"
> #include "cil_strpool.h"
>
> -__attribute__((noreturn)) __attribute__((format (printf, 1, 2))) void cil_tree_error(const char* msg, ...)
> -{
> - va_list ap;
> - va_start(ap, msg);
> - cil_vlog(CIL_ERR, msg, ap);
> - va_end(ap);
> - exit(1);
> -}
> -
> struct cil_tree_node *cil_tree_get_next_path(struct cil_tree_node *node, char **info_kind, uint32_t *hll_line, char **path)
> {
> int rc;
> --
> 2.35.1
>
