Skip to content
Snippets Groups Projects
Commit 385da6ac authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] add test case for builtin macro censorship

parent d4fa29ca
No related branches found
No related tags found
No related merge requests found
/* run.config* /* run.config*
OPT: -machdep %{dep:@PTEST_DIR@/@PTEST_NAME@.yaml} -print MACRO: machdep %{dep:@PTEST_DIR@/@PTEST_NAME@.yaml}
OPT: -machdep @machdep@ -print
COMMENT: we can't only use -D, as the __fc_machdep.h define takes precedence
COMMENT: with -U, our cmdline definition is used in the code
OPT: -machdep @machdep@ -cpp-extra-args="-UCUSTOM_MACHDEP -DCUSTOM_MACHDEP=42" -print
*/ */
// most of the following includes are not directly used, but they test if // most of the following includes are not directly used, but they test if
// the custom machdep has defined the necessary constants // the custom machdep has defined the necessary constants
......
[kernel] Parsing custom_machdep.c (with preprocessing)
/* Generated by Frama-C */
#include "ctype.h"
#include "errno.h"
#include "inttypes.h"
#include "locale.h"
#include "math.h"
#include "signal.h"
#include "stdarg.h"
#include "stddef.h"
#include "stdint.h"
#include "stdio.h"
#include "stdlib.h"
#include "string.h"
#include "strings.h"
#include "time.h"
#include "wchar.h"
int main(void)
{
int __retres;
__retres = 8388607 - 42;
return __retres;
}
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