Branch data     Line data    Source code

       1                 :            : /* SPDX-License-Identifier: LGPL-2.1+ */
       2                 :            : 
       3                 :            : #include <stdio.h>
       4                 :            : #include <linux/audit.h>
       5                 :            : 
       6                 :            : #include "audit-type.h"
       7                 :            : 
       8                 :       8004 : static void print_audit_label(int i) {
       9                 :            :         const char *name;
      10                 :            : 
      11   [ +  +  -  +  :       8004 :         name = audit_type_name_alloca(i);
                   -  + ]
      12                 :            :         /* This is a separate function only because of alloca */
      13                 :       8004 :         printf("%i → %s → %s\n", i, audit_type_to_string(i), name);
      14                 :       8004 : }
      15                 :            : 
      16                 :          4 : static void test_audit_type(void) {
      17                 :            :         int i;
      18                 :            : 
      19         [ +  + ]:       8008 :         for (i = 0; i <= AUDIT_KERNEL; i++)
      20                 :       8004 :                 print_audit_label(i);
      21                 :          4 : }
      22                 :            : 
      23                 :          4 : int main(int argc, char **argv) {
      24                 :          4 :         test_audit_type();
      25                 :            : }