atomic_inc_dec: improve how inc/dec is recorded in the DB

[smatch.git] / validation / flex-array-union-array-no.c

#include "flex-array-union-array.h"

/*
 * check-name: flex-array-union-no
 * check-command: sparse -Wflexible-array-array -Wno-flexible-array-union $file
 *
 * check-error-start
 * check-error-end
 */