(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
analyzer/
malloc-many-paths-2.c
       1  #include <stdlib.h>
       2  
       3  /* Ensure that we don't get an exponential growth in paths due to
       4     repeated diamonds in the CFG.  */
       5  
       6  typedef struct obj {
       7    int ob_refcnt;
       8  } PyObject;
       9  
      10  extern void Py_Dealloc (PyObject *op);
      11  
      12  #define Py_DECREF(op)                                   \
      13      do {                                                \
      14        if (--((PyObject*)(op))->ob_refcnt == 0)		\
      15  	Py_Dealloc((PyObject *)(op));			\
      16      } while (0)
      17  
      18  int test (PyObject *obj_01, PyObject *obj_02, PyObject *obj_03,
      19  	  PyObject *obj_04, PyObject *obj_05, PyObject *obj_06,
      20  	  PyObject *obj_07, PyObject *obj_08, PyObject *obj_09,
      21  	  PyObject *obj_10, PyObject *obj_11, PyObject *obj_12,
      22  	  PyObject *obj_13, PyObject *obj_14, PyObject *obj_15
      23  )
      24  {
      25    Py_DECREF (obj_01); Py_DECREF (obj_02); Py_DECREF (obj_03);
      26    Py_DECREF (obj_04); Py_DECREF (obj_05); Py_DECREF (obj_06);
      27    Py_DECREF (obj_07); Py_DECREF (obj_08); Py_DECREF (obj_09);
      28    Py_DECREF (obj_10); Py_DECREF (obj_11); Py_DECREF (obj_12);
      29    Py_DECREF (obj_13); Py_DECREF (obj_14); Py_DECREF (obj_15);
      30  }