[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/misc/save_comments.i (no preprocessing)
Printing default project first time:
/* Generated by Frama-C */
/* ************************************************************************ */
/*                                                                          */
/*   This file is part of Frama-C.                                          */
/*                                                                          */
/*   Copyright (C) 2007-2015                                                */
/*     CEA (Commissariat à l'énergie atomique et aux énergies               */
/*          alternatives)                                                   */
/*                                                                          */
/*   you can redistribute it and/or modify it under the terms of the GNU    */
/*   Lesser General Public License as published by the Free Software        */
/*   Foundation, version 2.1.                                               */
/*                                                                          */
/*   It is distributed in the hope that it will be useful,                  */
/*   but WITHOUT ANY WARRANTY; without even the implied warranty of         */
/*   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the          */
/*   GNU Lesser General Public License for more details.                    */
/*                                                                          */
/*   See the GNU Lesser General Public License version 2.1                  */
/*   for more details (enclosed in the file licenses/LGPLv2.1).             */
/*                                                                          */
/* ************************************************************************ */
/*  Functions used internally by the normalization phase. */
/*  This file is systematically included by Frama-C's kernel.  */
/*  FC's code normalization can use some of the functions declared here. */
/*  If you add something here, be sure to use the FC_BUILTIN attribute,  */
/*  that will ensure that the builtin is printed iff it is actually used */
/*  in the normalized code. */
/*  run.config
   OPT: -load-script tests/misc/save_comments.ml -keep-comments
 */
int f(void)
{
  int x;
  x = 0;
  /*  Hello, I'm the f function  */
  return x;
}


Printing default project second time:
/* Generated by Frama-C */
/* ************************************************************************ */
/*                                                                          */
/*   This file is part of Frama-C.                                          */
/*                                                                          */
/*   Copyright (C) 2007-2015                                                */
/*     CEA (Commissariat à l'énergie atomique et aux énergies               */
/*          alternatives)                                                   */
/*                                                                          */
/*   you can redistribute it and/or modify it under the terms of the GNU    */
/*   Lesser General Public License as published by the Free Software        */
/*   Foundation, version 2.1.                                               */
/*                                                                          */
/*   It is distributed in the hope that it will be useful,                  */
/*   but WITHOUT ANY WARRANTY; without even the implied warranty of         */
/*   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the          */
/*   GNU Lesser General Public License for more details.                    */
/*                                                                          */
/*   See the GNU Lesser General Public License version 2.1                  */
/*   for more details (enclosed in the file licenses/LGPLv2.1).             */
/*                                                                          */
/* ************************************************************************ */
/*  Functions used internally by the normalization phase. */
/*  This file is systematically included by Frama-C's kernel.  */
/*  FC's code normalization can use some of the functions declared here. */
/*  If you add something here, be sure to use the FC_BUILTIN attribute,  */
/*  that will ensure that the builtin is printed iff it is actually used */
/*  in the normalized code. */
/*  run.config
   OPT: -load-script tests/misc/save_comments.ml -keep-comments
 */
int f(void)
{
  int x;
  x = 0;
  /*  Hello, I'm the f function  */
  return x;
}


In project default, searching for comments between tests/misc/save_comments.i:6 and tests/misc/save_comments.i:9:
 Hello, I'm the f function 
End of comments
In project saved_project, searching for comments between tests/misc/save_comments.i:6 and tests/misc/save_comments.i:9:
 Hello, I'm the f function 
End of comments
Printing saved project:
/* Generated by Frama-C */
/* ************************************************************************ */
/*                                                                          */
/*   This file is part of Frama-C.                                          */
/*                                                                          */
/*   Copyright (C) 2007-2015                                                */
/*     CEA (Commissariat à l'énergie atomique et aux énergies               */
/*          alternatives)                                                   */
/*                                                                          */
/*   you can redistribute it and/or modify it under the terms of the GNU    */
/*   Lesser General Public License as published by the Free Software        */
/*   Foundation, version 2.1.                                               */
/*                                                                          */
/*   It is distributed in the hope that it will be useful,                  */
/*   but WITHOUT ANY WARRANTY; without even the implied warranty of         */
/*   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the          */
/*   GNU Lesser General Public License for more details.                    */
/*                                                                          */
/*   See the GNU Lesser General Public License version 2.1                  */
/*   for more details (enclosed in the file licenses/LGPLv2.1).             */
/*                                                                          */
/* ************************************************************************ */
/*  Functions used internally by the normalization phase. */
/*  This file is systematically included by Frama-C's kernel.  */
/*  FC's code normalization can use some of the functions declared here. */
/*  If you add something here, be sure to use the FC_BUILTIN attribute,  */
/*  that will ensure that the builtin is printed iff it is actually used */
/*  in the normalized code. */
/*  run.config
   OPT: -load-script tests/misc/save_comments.ml -keep-comments
 */
int f(void)
{
  int x;
  x = 0;
  /*  Hello, I'm the f function  */
  return x;
}


