Skip to content
Snippets Groups Projects
Commit c313c76a authored by Patrick Baudin's avatar Patrick Baudin
Browse files

restore tests/jcdb/oracle from master

parent a0230830
No related branches found
No related tags found
No related merge requests found
[kernel:pp:compilation-db] Warning: [kernel:pp:compilation-db] Warning:
<<<<<<< HEAD
found duplicate flags for 'jcdb.c', replacing old flags.
Old flags no longer present: -D'MSG="a \" \"b"' -D'SINGLE_DOUBLE(a)="a \"with spaces and tab "' -DSOMEDEF="With spaces, quotes and \-es." -D"DOUBLE_SINGLE(a)=a \"macro with spaces and non-escaped \\'\"" -DEMPTY='' -DEMPTY2= -DTEST=42 -D'MACRO_FOR_INCR(s)=s+1' -DTOUNDEF -UTOUNDEF
||||||| 362083a770
found duplicate flags for 'tests/jcdb/jcdb.c', replacing old flags.
Old flags no longer present: -D'MSG="a \" \"b"' -D'SINGLE_DOUBLE(a)="a \"with spaces and tab "' -DSOMEDEF="With spaces, quotes and \-es." -D"DOUBLE_SINGLE(a)=a \"macro with spaces and non-escaped \\'\"" -DEMPTY='' -DEMPTY2= -DTEST=42 -D'MACRO_FOR_INCR(s)=s+1' -DTOUNDEF -UTOUNDEF
=======
found duplicate flags for 'tests/jcdb/jcdb.c', replacing old flags. found duplicate flags for 'tests/jcdb/jcdb.c', replacing old flags.
Old flags no longer present: -DFLAG_TO_BE_FORGOTTEN Old flags no longer present: -DFLAG_TO_BE_FORGOTTEN
>>>>>>> origin/master
New flags not previously present: -DDUPLICATE_FLAGS_THAT_WILL_BE_OVERWRITTEN New flags not previously present: -DDUPLICATE_FLAGS_THAT_WILL_BE_OVERWRITTEN
(warn-once: no further messages from category 'pp:compilation-db' will be emitted) (warn-once: no further messages from category 'pp:compilation-db' will be emitted)
[kernel] Parsing jcdb.c (with preprocessing) [kernel] Parsing tests/jcdb/jcdb.c (with preprocessing)
/* Generated by Frama-C */ /* Generated by Frama-C */
#include "errno.h" #include "errno.h"
#include "stdarg.h" #include "stdarg.h"
......
[kernel] User Error: source file 'jcdb2.c' does not exist [kernel] Parsing tests/jcdb/jcdb.c (with preprocessing)
[kernel] Frama-C aborted: invalid user input. [kernel] Parsing tests/jcdb/jcdb2.c (with preprocessing)
/* Generated by Frama-C */
#include "errno.h"
#include "stdarg.h"
#include "stddef.h"
#include "stdio.h"
int main(void)
{
int __retres;
char *s = (char *)"a macro with spaces and non-escaped \'";
__retres = 42 + 1;
return __retres;
}
[kernel] Parsing jcdb.c (with preprocessing) [kernel] Parsing tests/jcdb/jcdb.c (with preprocessing)
[kernel] Value of -json-compilation-database in default is with_arguments.json [kernel] Value of -json-compilation-database in default is tests/jcdb/with_arguments.json
[kernel] Value of -json-compilation-database in copy is with_arguments.json [kernel] Value of -json-compilation-database in copy is tests/jcdb/with_arguments.json
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment