[devel] вопрос по языку Си - порядок вычисления операндов

[Kirill A. Shutemov]

2009/10/1 Alexey Tourbin <at �� altlinux.ru>:
> У нас в rpm есть такой код.
>
> lib/depends.h:
>   108  typedef /*@abstract@*/ struct availableList_s {
>   109  /*@owned@*/ /*@null@*/ struct availablePackage * list;  /*!< Set of packages. */
>   110      struct availableIndex index;        /*!< Set of available items. */
>   111      int delta;                          /*!< Delta for pkg list reallocation. */
>   112      int size;                           /*!< No. of pkgs in list. */
>   113      int alloced;                        /*!< No. of pkgs allocated for list. */
>   114      int numDirs;                        /*!< No. of directories. */
>   115  /*@owned@*/ /*@null@*/ dirInfo dirs;    /*!< Set of directories. */
>   116  } * availableList;
> ...
>
> lib/depends.c:
>   213  static /*@exposed@*/ struct availablePackage *
>   214  alAddPackage(availableList al,
>   215                  Header h, /*@null@*/ /*@dependent@*/ const void * key,
>   216                  /*@null@*/ FD_t fd, /*@null@*/ rpmRelocation * relocs)
>   217          /*@modifies al, h @*/
>   218  {
>   219      HGE_t hge = (HGE_t)headerGetEntryMinMemory;
>   220      HFD_t hfd = headerFreeData;
>   221      rpmTagType dnt, bnt;
>   222      struct availablePackage * p;
>   223      rpmRelocation * r;
>   224      int i;
>   225      int_32 * dirIndexes;
>   226      const char ** dirNames;
>   227      int numDirs, dirNum;
>   228      int * dirMapping;
>   229      struct dirInfo_s dirNeedle;
>   230      dirInfo dirMatch;
>   231      int first, last, fileNum;
>   232      int origNumDirs;
>   233      int pkgNum;
>   234
>   235      if (al->size == al->alloced) {
>   236          al->alloced += al->delta;
>   237          al->list = xrealloc(al->list, sizeof(*al->list) * al->alloced);
>   238      }
> ...
>   703  int rpmtransAddPackage(rpmTransactionSet ts, Header h, FD_t fd,
>   704                          const void * key, int upgrade, rpmRelocation * relocs)
>   705  {
>   706      HGE_t hge = (HGE_t)headerGetEntryMinMemory;
>   707      HFD_t hfd = headerFreeData;
>   708      rpmTagType ont, ovt;
>   709      /* this is an install followed by uninstalls */
>   710      const char * name;
>   711      int count;
>   712      const char ** obsoletes;
>   713      int alNum;
>   714
>   715      /*
>   716       * FIXME: handling upgrades like this is *almost* okay. It doesn't
>   717       * check to make sure we're upgrading to a newer version, and it
>   718       * makes it difficult to generate a return code based on the number of
>   719       * packages which failed.
>   720       */
>   721      if (ts->orderCount == ts->orderAlloced) {
>   722          ts->orderAlloced += ts->delta;
>   723          ts->order = xrealloc(ts->order, sizeof(*ts->order) * ts->orderAlloced);
>   724      }
>   725      ts->order[ts->orderCount].type = TR_ADDED;
>   726      if (ts->addedPackages.list == NULL)
>   727          return 0;
>   728
>   729      alNum = alAddPackage(&ts->addedPackages, h, key, fd, relocs) -
>   730                  ts->addedPackages.list;
>   731      ts->order[ts->orderCount++].u.addedIndex = alNum;
> ...
>
> Вопрос касается строк 729-730.  Следите за движением рук.
>
> ts->addedPackages -- это некоторая структура данных, которая содержит
> ts->addedPackages.list -- указатель на массив, выделяемый в куче.
> Функция alAddPackage() добавляет новый элемент в этот массив и возвращает
> на него указатель.  Соответственно (по правилам типизированной адресной
> арифметики) переменная alNum -- это будет индекс последнего добавленного
> элемента в массиве.
>
> Но!  Когда массив становится слишком маленьким, функция alAddPackage()
> делает realloc этого массива (строка 237).  Соотвественно, адрес массива
> ts->addedPackages.list может измениться.
>
> Теперь посмотрим на вычитание указателей в строках 729-730.  Левый
> операнд вычитания может изменить ts->addedPackages.list, а правым
> операндом является сам ts->addedPackages.list.  Получается, что этот
> код зависит от порядка вычисления операндов -- а именно, может
> использоваться либо старое значение ts->addedPackages.list, либо
> уже новое значение.
>
> Воопрос соответствено насколько легален этот код, и вообще любая
> нетривиальная информация на эту тему.

ISO/IEC 9899:TC2

6.5 Expressions

3 The grouping of operators and operands is indicated by the syntax.
Except as specified
later (for the function-call (), &&, ||, ?:, and comma operators), the
order of evaluation
of subexpressions and the order in which side effects take place are
both unspecified.