// -*- coding: utf-8 -*-

/*
 * Test for bug #15890. Ctags and JFlex do not agree on line
 * numbering. JFlex regards \u000B, \u000C, \u0085, \u2028 and \u2029
 * as line terminator, whereas ctags doesn't. If one of these
 * characters occurred in a file, definitions that came after it would
 * not be recognized as definitions by the xrefs, since the line
 * numbers didn't match what ctags returned.
 */

/* This line contains \u000B:  */

/* This line contains \u000C:  */

/* This line contains \u0085: … */

/* This line contains \u2028: 
 */

/* This line contains \u2029: 
 */

/*
 * Now add a definition for the tests to check.
 */

int bug15890(int x)
{
  return x+1;
}