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

[tests] prepare test case for expression mistakenly considered as const

parent e27f16a4
No related branches found
No related tags found
No related merge requests found
......@@ -3,9 +3,13 @@
STDOPT:
*/
#include <stdint.h>
int * const a;
int * b = a;
uintptr_t b1 = (uintptr_t) a;
struct stru {
const int c;
};
......
[kernel] Parsing ko_global.c (with preprocessing)
[kernel] ko_global.c:7: User Error: a is not a compile-time constant
[kernel] ko_global.c:17: User Error: f is not a compile-time constant
[kernel] ko_global.c:19: User Error: g is not a compile-time constant
[kernel] ko_global.c:24: User Error: i is not a compile-time constant
[kernel] ko_global.c:27: User Error: k is not a compile-time constant
[kernel] ko_global.c:34: User Error: n is not a compile-time constant
[kernel] ko_global.c:41: User Error: q is not a compile-time constant
[kernel] ko_global.c:9: User Error: a is not a compile-time constant
[kernel] ko_global.c:11: User Error: a is not a compile-time constant
[kernel] ko_global.c:21: User Error: f is not a compile-time constant
[kernel] ko_global.c:23: User Error: g is not a compile-time constant
[kernel] ko_global.c:28: User Error: i is not a compile-time constant
[kernel] ko_global.c:31: User Error: k is not a compile-time constant
[kernel] ko_global.c:38: User Error: n is not a compile-time constant
[kernel] ko_global.c:45: User Error: q is not a compile-time constant
[kernel] User Error: stopping on file "ko_global.c" that has errors. Add '-kernel-msg-key pp'
for preprocessing command.
[kernel] Frama-C aborted: invalid user input.
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