memcheck/tests/leak-delta.c

   1 #include <stdio.h>
   2 #include <stdlib.h>
   3 #include "../memcheck.h"
   4 #include "leak.h"
   5
   6 char *b10;
   7 char *b21;
   8 char *b32_33[2];
   9 char *b42_43[2];
  10 static void breakme() {};
  11 void f(void)
  12 {
  13    int i;
  14
  15    b10 = malloc (10);
  16
  17    fprintf(stderr, "expecting details 10 bytes reachable\n"); fflush(stderr); breakme();
  18    VALGRIND_DO_LEAK_CHECK;
  19
  20    fprintf(stderr, "expecting to have NO details\n"); fflush(stderr); breakme();
  21    VALGRIND_DO_ADDED_LEAK_CHECK;
  22
  23    b10--; // lose b10
  24    b21 = malloc (21);
  25    fprintf(stderr, "expecting details +10 bytes lost, +21 bytes reachable\n"); fflush(stderr); breakme();
  26    VALGRIND_DO_ADDED_LEAK_CHECK;
  27
  28    for (i = 0; i < 2; i ++)
  29       b32_33[i] = malloc (32+i);
  30    fprintf(stderr, "expecting details +65 bytes reachable\n"); fflush(stderr); breakme();
  31    VALGRIND_DO_ADDED_LEAK_CHECK;
  32
  33    fprintf(stderr, "expecting to have NO details\n"); fflush(stderr); breakme();
  34    VALGRIND_DO_ADDED_LEAK_CHECK;
  35
  36    b10++;
  37    fprintf(stderr, "expecting details +10 bytes reachable\n"); fflush(stderr); breakme();
  38    VALGRIND_DO_ADDED_LEAK_CHECK;
  39
  40    b10--;
  41    fprintf(stderr, "expecting details -10 bytes reachable, +10 bytes lost\n"); fflush(stderr); breakme();
  42    VALGRIND_DO_CHANGED_LEAK_CHECK;
  43
  44    b10++;
  45    fprintf(stderr, "expecting details -10 bytes lost, +10 bytes reachable\n"); fflush(stderr); breakme();
  46    VALGRIND_DO_CHANGED_LEAK_CHECK;
  47
  48    b32_33[0]--;
  49    fprintf(stderr, "expecting details 32 (+32) bytes lost, 33 (-32) bytes reachable\n"); fflush(stderr); breakme();
  50    VALGRIND_DO_CHANGED_LEAK_CHECK;
  51
  52    for (i = 0; i < 2; i ++)
  53       b42_43[i] = malloc (42+i);
  54
  55    b42_43[0]--;
  56    fprintf(stderr, "expecting details 42 (+42) bytes lost, 43 (+43) bytes reachable\n"); fflush(stderr); breakme();
  57    VALGRIND_DO_NEW_LEAK_CHECK;
  58
  59    b42_43[1]--;
  60    fprintf(stderr, "expecting to have NO details\n"); fflush(stderr); breakme();
  61    VALGRIND_DO_NEW_LEAK_CHECK;
  62
  63    fprintf(stderr, "finished\n");
  64 }
  65
  66 int main(void)
  67 {
  68    DECLARE_LEAK_COUNTERS;
  69
  70    GET_INITIAL_LEAK_COUNTS;
  71
  72    f();   // see leak-cases.c
  73
  74
  75    GET_FINAL_LEAK_COUNTS;
  76
  77    PRINT_LEAK_COUNTS(stderr);
  78
  79    return 0;
  80 }