#pragma ident "foo"

/*
 * check-description: check that '#pragma ident ... " is ignored.
 * check-name: ident-pragma
 * check-command: sparse -E $file
 *
 * check-output-start


 * check-output-end
 */
