memcheck/tests/inlinfo.c

   1 #include <stdio.h>
   2 #include "../memcheck.h"
   3 #define INLINE    inline __attribute__((always_inline))
   4
   5 INLINE int fun_d(int argd) {
   6    static int locd = 0;
   7    if (argd > 0)
   8       locd += argd;
   9    return locd;
  10 }
  11
  12 INLINE int fun_c(int argc) {
  13    static int locc = 0;
  14    locc += argc;
  15    return fun_d(locc);
  16 }
  17
  18 INLINE int fun_b(int argb) {
  19    static int locb = 0;
  20    locb += argb;
  21    return fun_c(locb);
  22 }
  23
  24 INLINE int fun_a(int arga) {
  25    static int loca = 0;
  26    loca += arga;
  27    return fun_b(loca);
  28 }
  29
  30 __attribute__((noinline))
  31 static int fun_noninline_m(int argm)
  32 {
  33    return fun_d(argm);
  34 }
  35
  36 __attribute__((noinline))
  37 static int fun_noninline_o(int argo)
  38 {
  39    static int loco = 0;
  40    if (argo > 0)
  41       loco += argo;
  42    return loco;
  43 }
  44
  45 INLINE int fun_f(int argf) {
  46    static int locf = 0;
  47    locf += argf;
  48    return fun_noninline_o(locf);
  49 }
  50
  51 INLINE int fun_e(int arge) {
  52    static int loce = 0;
  53    loce += arge;
  54    return fun_f(loce);
  55 }
  56
  57 __attribute__((noinline))
  58 static int fun_noninline_n(int argn)
  59 {
  60    return fun_e(argn);
  61 }
  62
  63
  64 int main() {
  65    int result;
  66    result = fun_a(result);
  67    VALGRIND_MAKE_MEM_UNDEFINED(&result, sizeof(result));
  68    result += fun_noninline_m(result);
  69    VALGRIND_MAKE_MEM_UNDEFINED(&result, sizeof(result));
  70    result += fun_d(result);
  71    VALGRIND_MAKE_MEM_UNDEFINED(&result, sizeof(result));
  72    result += fun_noninline_n(result);
  73    return 0;
  74 }
  75