db/fixup_kernel.sh: update vfs_write() code

[smatch.git] / validation / crash-bb_target.c

a() {
  &&b

/*
 * check-name: crash bb_target
 * check-command: test-linearize $file
 *
 * check-error-ignore
 * check-output-ignore
 */