cparser aborts on code involving VLA pointers and pointer arithmetic

libfirm / cparser

C99 parser and frontend for libfirm

http://pp.ipd.kit.edu/firm

GNU General Public License v2.0

336 stars 38 forks source link

Open GabrielRavier opened 4 years ago

GabrielRavier commented 4 years ago

void f(void *rx, void *px, int n)
{
  unsigned short (*p)[n] = px;
  while (px != rx)
    ++p;
  while (p != rx)
    ++p;
}

This aborts with this message :

Verify warning: Mul Lu[104:44](f[60]): not dominated by operand Conv Lu[84:25]
Aborted (core dumped)