C Instrumentation Framework

For the code

         ax25_dev *ax25_dev;
         ...
         if ((ax25_dev = ax25_dev_ax25dev(dev)) == NULL)
                 goto free;

C-Backend generates

  ax25_dev *ax25_dev;
  # 232 "net/ax25/ax25_in.o.c.prepared" 
  ...
  # 234 "net/ax25/ax25_in.o.c.prepared" 
  if (( ax25_dev = ax25_dev_ax25dev ( dev ) ) == ( ( ax25_dev *) 0 ))
    goto free;

GCC error:

net/ax25/ax25_in.o.c.prepared: In function ‘ax25_rcv’:
net/ax25/ax25_in.o.c.prepared:234:64: error: expected expression before ‘)’ token

CPAchecker fails with

Error: Parsing failed (Invalid type encountered in: ax25_dev  in line 65224: ax25_dev (full line is if (( ax25_dev = ax25_dev_ax25dev ( dev ) ) == ( ( ax25_dev *) 0 ))
    goto free;)) (EclipseCParser.buildCFA, SEVERE)

32_7a, linux-3.17-rc1, net/ax25/ax25.ko