gcc/testsuite/c-c++-common/analyzer/asm-x86-dyndbg-2.c

   1 /* Test reduced from use of dynamic_pr_debug on Linux kernel, to verify that
   2    we treat the static struct _ddebug as not needing to be tracked by the
   3    analyzer, thus optimizing away bloat in the analyzer's state tracking.  */
   4
   5 /* { dg-do compile { target x86_64-*-* } } */
   6 /* { dg-additional-options "-fdump-analyzer-untracked" } */
   7
   8 /* Adapted from various files in the Linux kernel, all of which have:  */
   9 /* SPDX-License-Identifier: GPL-2.0 */
  10
  11 #ifndef __cplusplus
  12   typedef _Bool bool;
  13   #define true 1
  14   #define false 0
  15 #endif
  16
  17 typedef struct {} atomic_t;
  18
  19 /* Adapted from include/linux/compiler_attributes.h  */
  20 #define __always_inline                 inline __attribute__((__always_inline__))
  21
  22 /* Adapted from include/linux/compiler-gcc.h */
  23 #define asm_volatile_goto(x...) do { asm goto(x); asm (""); } while (0)
  24
  25 /* Adapted from include/linux/jump_label.h, which has:  */
  26
  27 struct static_key {};
  28
  29 /* Adapted from arch/x86/include/asm/jump_label.h */
  30
  31 static __always_inline bool arch_static_branch(struct static_key * const key, const bool branch)
  32 {
  33         asm_volatile_goto("1:"
  34                 : :  "i" (key), "i" (branch) : : l_yes);
  35
  36         return false;
  37 l_yes:
  38         return true;
  39 }
  40
  41 static __always_inline bool arch_static_branch_jump(struct static_key * const key, const bool branch)
  42 {
  43         asm_volatile_goto("1:"
  44                 : :  "i" (key), "i" (branch) : : l_yes);
  45
  46         return false;
  47 l_yes:
  48         return true;
  49 }
  50
  51 /* Adapted from include/linux/dynamic_debug.h  */
  52
  53 struct _ddebug {
  54         /* [...snip...] */
  55         const char *function;
  56         const char *filename;
  57         const char *format;
  58         unsigned int lineno:18;
  59         /* [...snip...] */
  60         unsigned int flags:8;
  61         struct static_key key;
  62 } __attribute__((aligned(8)));
  63
  64 extern void __dynamic_pr_debug(struct _ddebug *descriptor, const char *fmt, ...);
  65
  66 static void expanded_dynamic_pr_debug(void) {
  67   do {
  68     static struct _ddebug __attribute__((__aligned__(8)))
  69     __attribute__((__section__("__dyndbg"))) __UNIQUE_ID_ddebug277 = { /* { dg-warning "track '__UNIQUE_ID_ddebug277': no" } */
  70         .function = __func__,
  71         .filename = __FILE__,
  72         .format = ("hello world"),
  73         .lineno = __LINE__,
  74         .flags = 0};
  75     if (arch_static_branch(&__UNIQUE_ID_ddebug277.key, false))
  76       __dynamic_pr_debug(&__UNIQUE_ID_ddebug277,
  77                          "hello world");
  78   } while (0);
  79 }