1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -Wall" } */
       3  
       4  typedef long unsigned int size_t;
       5  extern void *realloc (void *__ptr, size_t __size)
       6       __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__warn_unused_result__)) __attribute__ ((__alloc_size__ (2)));
       7  struct vector_objective; 
       8  typedef struct vector_objective vector_objective;
       9  struct vector_objective { double *_begin; double *_end; double *_capacity; };
      10  static inline size_t vector_objective_size(const vector_objective * v) { 
      11      return v->_end - v->_begin;  /* { dg-bogus "used after" } */
      12  }
      13  static inline size_t vector_objective_capacity(const vector_objective * v) {
      14      return v->_capacity - v->_begin;
      15  }
      16  static inline void vector_objective_reserve(vector_objective * v, size_t n) {
      17      size_t old_capacity = vector_objective_capacity(v);
      18      size_t old_size = vector_objective_size(v);
      19      if (n > old_capacity) {
      20          v->_begin = realloc(v->_begin, sizeof(double) * n);
      21          v->_end = v->_begin + old_size;
      22          v->_capacity = v->_begin + n;
      23      }
      24  }
      25  static inline void vector_objective_push_back(vector_objective * v, double x) {
      26      if (v->_end == v->_capacity)
      27          vector_objective_reserve (v, (vector_objective_capacity (v) == 0) ? 8 : 2 * vector_objective_capacity (v));
      28      *(v->_end) = x;
      29      v->_end++;
      30  }
      31  
      32  typedef struct {
      33      vector_objective xy;
      34  } eaf_polygon_t;
      35  
      36  int
      37  rectangle_add(eaf_polygon_t * regions, double lx)
      38  {
      39    vector_objective_push_back(&regions->xy, lx);
      40    return 0;
      41  }