Commit 10271463 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

sync with frama-c master

parent 1d68735e
Pipeline #31894 passed with stage
in 81 minutes and 31 seconds
......@@ -135,7 +135,7 @@ void getColor(uint8_t value, char *color, size_t length)
while (1) {
uint8_t tmp;
tmp = value;
value = (uint8_t)((int)value - 1);
value = (unsigned char)((int)value - 1);
;
if (! tmp) break;
if (background + 2 < schemes[scheme] + sizeof(original)) {
......@@ -415,7 +415,7 @@ void drawBoard(uint8_t (* /*[4]*/ board)[4])
printf("%s",color); /* printf_va_3 */
printf(" "); /* printf_va_4 */
printf("%s",reset); /* printf_va_5 */
x = (uint8_t)((int)x + 1);
x = (unsigned char)((int)x + 1);
}
printf("\n"); /* printf_va_6 */
x = (unsigned char)0;
......@@ -434,7 +434,7 @@ void drawBoard(uint8_t (* /*[4]*/ board)[4])
}
else printf(" \302\267 "); /* printf_va_9 */
printf("%s",reset); /* printf_va_10 */
x = (uint8_t)((int)x + 1);
x = (unsigned char)((int)x + 1);
}
printf("\n"); /* printf_va_11 */
x = (unsigned char)0;
......@@ -443,10 +443,10 @@ void drawBoard(uint8_t (* /*[4]*/ board)[4])
printf("%s",color); /* printf_va_12 */
printf(" "); /* printf_va_13 */
printf("%s",reset); /* printf_va_14 */
x = (uint8_t)((int)x + 1);
x = (unsigned char)((int)x + 1);
}
printf("\n"); /* printf_va_15 */
y = (uint8_t)((int)y + 1);
y = (unsigned char)((int)y + 1);
}
printf("\n"); /* printf_va_16 */
printf(" \342\206\220,\342\206\221,\342\206\222,\342\206\223 or q \n"); /* printf_va_17 */
......@@ -477,7 +477,7 @@ uint8_t findTarget(uint8_t * /*[4]*/ array, uint8_t x, uint8_t stop)
__retres = t;
goto return_label;
}
t = (uint8_t)((int)t - 1);
t = (unsigned char)((int)t - 1);
}
__retres = x;
return_label: return __retres;
......@@ -497,7 +497,7 @@ _Bool slideArray(uint8_t * /*[4]*/ array)
if ((int)*(array + t) == 0) *(array + t) = *(array + x);
else
if ((int)*(array + t) == (int)*(array + x)) {
*(array + t) = (uint8_t)((int)*(array + t) + 1);
*(array + t) = (unsigned char)((int)*(array + t) + 1);
score += (unsigned int)1 << (int)*(array + t);
stop = (unsigned char)((int)t + 1);
}
......@@ -505,7 +505,7 @@ _Bool slideArray(uint8_t * /*[4]*/ array)
success = (_Bool)1;
}
}
x = (uint8_t)((int)x + 1);
x = (unsigned char)((int)x + 1);
}
return success;
}
......@@ -527,9 +527,9 @@ void rotateBoard(uint8_t (* /*[4]*/ board)[4])
(*(board + (((int)n - (int)i) - 1)))[((int)n - (int)j) - 1] = (*(
board + (((int)n - (int)j) - 1)))[i];
(*(board + (((int)n - (int)j) - 1)))[i] = tmp;
j = (uint8_t)((int)j + 1);
j = (unsigned char)((int)j + 1);
}
i = (uint8_t)((int)i + 1);
i = (unsigned char)((int)i + 1);
}
return;
}
......@@ -545,7 +545,7 @@ _Bool moveUp(uint8_t (* /*[4]*/ board)[4])
tmp = slideArray(*(board + x));
success = (_Bool)(((int)success | (int)tmp) != 0);
}
x = (uint8_t)((int)x + 1);
x = (unsigned char)((int)x + 1);
}
return success;
}
......@@ -597,9 +597,9 @@ _Bool findPairDown(uint8_t (* /*[4]*/ board)[4])
__retres = (_Bool)1;
goto return_label;
}
y = (uint8_t)((int)y + 1);
y = (unsigned char)((int)y + 1);
}
x = (uint8_t)((int)x + 1);
x = (unsigned char)((int)x + 1);
}
__retres = success;
return_label: return __retres;
......@@ -614,10 +614,10 @@ uint8_t countEmpty(uint8_t (* /*[4]*/ board)[4])
while ((int)x < 4) {
y = (unsigned char)0;
while ((int)y < 4) {
if ((int)(*(board + x))[y] == 0) count = (uint8_t)((int)count + 1);
y = (uint8_t)((int)y + 1);
if ((int)(*(board + x))[y] == 0) count = (unsigned char)((int)count + 1);
y = (unsigned char)((int)y + 1);
}
x = (uint8_t)((int)x + 1);
x = (unsigned char)((int)x + 1);
}
return count;
}
......@@ -675,11 +675,11 @@ void addRandom(uint8_t (* /*[4]*/ board)[4])
if ((int)(*(board + x))[y] == 0) {
list[len][0] = x;
list[len][1] = y;
len = (uint8_t)((int)len + 1);
len = (unsigned char)((int)len + 1);
}
y = (uint8_t)((int)y + 1);
y = (unsigned char)((int)y + 1);
}
x = (uint8_t)((int)x + 1);
x = (unsigned char)((int)x + 1);
}
if ((int)len > 0) {
int tmp_0;
......@@ -706,9 +706,9 @@ void initBoard(uint8_t (* /*[4]*/ board)[4])
/*@ loop unroll 4; */
while ((int)y < 4) {
(*(board + x))[y] = (unsigned char)0;
y = (uint8_t)((int)y + 1);
y = (unsigned char)((int)y + 1);
}
x = (uint8_t)((int)x + 1);
x = (unsigned char)((int)x + 1);
}
addRandom(board);
addRandom(board);
......@@ -981,43 +981,43 @@ int test(void)
i = (unsigned char)0;
while ((int)i < 4) {
array[i] = *(in + i);
i = (uint8_t)((int)i + 1);
i = (unsigned char)((int)i + 1);
}
slideArray(array);
i = (unsigned char)0;
/*@ loop unroll 4; */
while ((int)i < 4) {
if ((int)array[i] != (int)*(out + i)) success = (_Bool)0;
i = (uint8_t)((int)i + 1);
i = (unsigned char)((int)i + 1);
}
if ((int)success == 0) {
i = (unsigned char)0;
while ((int)i < 4) {
printf("%d ",(int)*(in + i)); /* printf_va_19 */
i = (uint8_t)((int)i + 1);
i = (unsigned char)((int)i + 1);
}
printf("=> "); /* printf_va_20 */
i = (unsigned char)0;
while ((int)i < 4) {
printf("%d ",(int)array[i]); /* printf_va_21 */
i = (uint8_t)((int)i + 1);
i = (unsigned char)((int)i + 1);
}
printf("expected "); /* printf_va_22 */
i = (unsigned char)0;
while ((int)i < 4) {
printf("%d ",(int)*(in + i)); /* printf_va_23 */
i = (uint8_t)((int)i + 1);
i = (unsigned char)((int)i + 1);
}
printf("=> "); /* printf_va_24 */
i = (unsigned char)0;
while ((int)i < 4) {
printf("%d ",(int)*(out + i)); /* printf_va_25 */
i = (uint8_t)((int)i + 1);
i = (unsigned char)((int)i + 1);
}
printf("\n"); /* printf_va_26 */
break;
}
t = (uint8_t)((int)t + 1);
t = (unsigned char)((int)t + 1);
}
if (success) printf("All %hhu tests executed successfully\n",(int)tests); /* printf_va_27 */
__retres = ! success;
......
......@@ -17,7 +17,7 @@ CPPFLAGS += \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-kernel-warn-key annot:missing-spec=abort \
-kernel-warn-key typing:implicit-function-declaration=abort \
......@@ -27,7 +27,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
-add-symbolic-path=.:.. \
## Analysis targets (suffixed with .eva)
TARGETS = 2048.eva
......
......@@ -16,7 +16,7 @@ CPPFLAGS += \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-kernel-warn-key annot:missing-spec=abort \
-kernel-warn-key typing:implicit-function-declaration=abort \
......
......@@ -17,7 +17,7 @@ CPPFLAGS += \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-kernel-warn-key annot:missing-spec=abort \
-kernel-warn-key typing:implicit-function-declaration=abort \
......@@ -28,7 +28,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
-add-symbolic-path=.:.. \
# This bench has several targets, so we use Makefile functions to generate
# them. A few test cases are not run.
......
......@@ -17,7 +17,7 @@ CPPFLAGS += \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-kernel-warn-key annot:missing-spec=abort \
-kernel-warn-key typing:implicit-function-declaration=abort \
-no-autoload-plugins -load-module eva,from,inout,metrics,nonterm,report,scope,variadic \
......@@ -29,7 +29,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
-add-symbolic-path=.:.. \
## Analysis targets (suffixed with .eva)
TARGETS := \
......
......@@ -21,7 +21,7 @@ CPPFLAGS += \
FCFLAGS += \
-cpp-command "cpp -E -C -I.." \
-cpp-frama-c-compliant \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-kernel-warn-key typing:implicit-function-declaration=abort \
-warn-special-float none \
......@@ -42,7 +42,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
-add-symbolic-path=.:.. \
TEST_COMMON_SRCS = \
../test/unit/test.c \
......
......@@ -2160,7 +2160,7 @@ static void update_record(struct timespec *now, uint32_t *last_hit,
else interval2 = -4 * (4 + 1);
if ((int)*rate == -128) *rate = (signed char)(- interval2);
else
if ((int)*rate < - interval2) *rate = (int8_t)((int)*rate + 1);
if ((int)*rate < - interval2) *rate = (signed char)((int)*rate + 1);
else
if ((int)*rate > - interval2)
if ((int)*rate > (4 * 5) / 2 - interval2) *rate = (signed char)(
......@@ -2284,7 +2284,7 @@ int CLG_LimitNTPResponseRate(int index_0)
goto return_label;
}
record->flags = (unsigned char)((int)record->flags | 0x1);
record->ntp_drops = (uint16_t)((int)record->ntp_drops + 1);
record->ntp_drops = (unsigned short)((int)record->ntp_drops + 1);
total_ntp_drops += (uint32_t)1;
__retres = 1;
return_label: return __retres;
......@@ -2311,7 +2311,7 @@ int CLG_LimitCommandResponseRate(int index_0)
__retres = 0;
goto return_label;
}
record->cmd_drops = (uint16_t)((int)record->cmd_drops + 1);
record->cmd_drops = (unsigned short)((int)record->cmd_drops + 1);
total_cmd_drops += (uint32_t)1;
__retres = 1;
return_label: return __retres;
......@@ -18693,8 +18693,8 @@ static void send_response(int interleaved, int authenticated,
case (long)2:
{ /* sequence */
tmp_18 = random();
res->auth_data[tmp_18 % (long)auth_len] = (uint8_t)((int)res->auth_data[
tmp_18 % (long)auth_len] + 1);
res->auth_data[tmp_18 % (long)auth_len] = (unsigned char)((int)res->auth_data[
tmp_18 % (long)auth_len] + 1);
}
break;
case (long)3:
......
......@@ -2050,7 +2050,7 @@ static void update_record(struct timespec *now, uint32_t *last_hit,
else interval2 = -4 * (4 + 1);
if ((int)*rate == -128) *rate = (signed char)(- interval2);
else
if ((int)*rate < - interval2) *rate = (int8_t)((int)*rate + 1);
if ((int)*rate < - interval2) *rate = (signed char)((int)*rate + 1);
else
if ((int)*rate > - interval2)
if ((int)*rate > (4 * 5) / 2 - interval2) *rate = (signed char)(
......@@ -2174,7 +2174,7 @@ int CLG_LimitNTPResponseRate(int index_0)
goto return_label;
}
record->flags = (unsigned char)((int)record->flags | 0x1);
record->ntp_drops = (uint16_t)((int)record->ntp_drops + 1);
record->ntp_drops = (unsigned short)((int)record->ntp_drops + 1);
total_ntp_drops += (uint32_t)1;
__retres = 1;
return_label: return __retres;
......@@ -2201,7 +2201,7 @@ int CLG_LimitCommandResponseRate(int index_0)
__retres = 0;
goto return_label;
}
record->cmd_drops = (uint16_t)((int)record->cmd_drops + 1);
record->cmd_drops = (unsigned short)((int)record->cmd_drops + 1);
total_cmd_drops += (uint32_t)1;
__retres = 1;
return_label: return __retres;
......
......@@ -17,7 +17,7 @@ CPPFLAGS += -I ../code/harness -I ../code -I ../code/intel/linux \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-kernel-warn-key annot:missing-spec=abort \
-kernel-warn-key typing:implicit-function-declaration=abort \
......@@ -30,7 +30,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
-add-symbolic-path=.:.. \
## Analysis targets (suffixed with .eva)
TARGETS = debie1.eva
......
......@@ -1424,7 +1424,7 @@ void CalculateChecksum(uint_least8_t checksum_count_0)
tmp = Get_Code_Byte(i);
code_checksum = (unsigned char)((int)code_checksum ^ (int)tmp);
}
i = (code_address_t)((int)i + 1);
i = (unsigned short)((int)i + 1);
}
if (checksum_count_0 == (uint_least8_t)0)
if ((int)code_checksum != (int)reference_checksum)
......@@ -1944,7 +1944,7 @@ void CopyProgramCode(void)
while ((int)i < 0x8000) {
code_byte = Get_Code_Byte(i);
Set_Data_Byte(i,code_byte);
i = (code_address_t)((int)i + 1);
i = (unsigned short)((int)i + 1);
}
return;
}
......@@ -3382,7 +3382,7 @@ void IncrementCounters(sensor_index_t sensor_unit,
{
unsigned char counter;
unsigned char new_checksum;
if ((int)telemetry_data.SU_hits[sensor_unit] < 0xFFFF) telemetry_data.SU_hits[sensor_unit] = (uint16_t)(
if ((int)telemetry_data.SU_hits[sensor_unit] < 0xFFFF) telemetry_data.SU_hits[sensor_unit] = (unsigned short)(
(int)telemetry_data.SU_hits[sensor_unit] + 1);
if ((int)science_data.event_counter[sensor_unit][classification] < 0xFF) {
counter = science_data.event_counter[sensor_unit][classification];
......
Subproject commit 361b9cf07ad8874942c0f92adc5197c0668ff804
Subproject commit 350350ce23b5d1276490b9b6dcb8c6093a3fb4c4
......@@ -23,7 +23,7 @@ CPPFLAGS += \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-nonterm-ignore do_exit \
-main eva_main \
......@@ -37,7 +37,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
## Analysis targets (suffixed with .eva)
TARGETS = gzip124.eva
......
......@@ -3641,28 +3641,28 @@ void ct_init(ush *attr, int *methodp)
tmp_2 = n;
n ++;
static_ltree[tmp_2].dl.len = (unsigned short)8;
bl_count[8] = (ush)((int)bl_count[8] + 1);
bl_count[8] = (unsigned short)((int)bl_count[8] + 1);
}
while (n <= 255) {
int tmp_3;
tmp_3 = n;
n ++;
static_ltree[tmp_3].dl.len = (unsigned short)9;
bl_count[9] = (ush)((int)bl_count[9] + 1);
bl_count[9] = (unsigned short)((int)bl_count[9] + 1);
}
while (n <= 279) {
int tmp_4;
tmp_4 = n;
n ++;
static_ltree[tmp_4].dl.len = (unsigned short)7;
bl_count[7] = (ush)((int)bl_count[7] + 1);
bl_count[7] = (unsigned short)((int)bl_count[7] + 1);
}
while (n <= 287) {
int tmp_5;
tmp_5 = n;
n ++;
static_ltree[tmp_5].dl.len = (unsigned short)8;
bl_count[8] = (ush)((int)bl_count[8] + 1);
bl_count[8] = (unsigned short)((int)bl_count[8] + 1);
}
gen_codes(static_ltree,((256 + 1) + 29) + 1);
n = 0;
......@@ -3765,7 +3765,7 @@ static void gen_bitlen(tree_desc *desc)
}
(tree + n)->dl.len = (unsigned short)bits;
if (n > max_code) goto __Cont;
bl_count[bits] = (ush)((int)bl_count[bits] + 1);
bl_count[bits] = (unsigned short)((int)bl_count[bits] + 1);
xbits = 0;
if (n >= base) xbits = *(extra + (n - base));
f = (tree + n)->fc.freq;
......@@ -3778,9 +3778,9 @@ static void gen_bitlen(tree_desc *desc)
while (1) {
bits = max_length - 1;
while ((int)bl_count[bits] == 0) bits --;
bl_count[bits] = (ush)((int)bl_count[bits] - 1);
bl_count[bits] = (unsigned short)((int)bl_count[bits] - 1);
bl_count[bits + 1] = (unsigned short)((int)bl_count[bits + 1] + 2);
bl_count[max_length] = (ush)((int)bl_count[max_length] - 1);
bl_count[max_length] = (unsigned short)((int)bl_count[max_length] - 1);
overflow -= 2;
if (! (overflow > 0)) break;
}
......@@ -3825,7 +3825,7 @@ static void gen_codes(ct_data *tree, int max_code)
if (len == 0) goto __Cont;
;
tmp = next_code[len];
next_code[len] = (ush)((int)next_code[len] + 1);
next_code[len] = (unsigned short)((int)next_code[len] + 1);
;
tmp_0 = bi_reverse((unsigned int)tmp,len);
(tree + n)->fc.code = (unsigned short)tmp_0;
......@@ -3949,12 +3949,13 @@ static void scan_tree(ct_data *tree, int max_code)
(int)bl_tree[curlen].fc.freq + count);
else
if (curlen != 0) {
if (curlen != prevlen) bl_tree[curlen].fc.freq = (ush)((int)bl_tree[curlen].fc.freq + 1);
bl_tree[16].fc.freq = (ush)((int)bl_tree[16].fc.freq + 1);
if (curlen != prevlen) bl_tree[curlen].fc.freq = (unsigned short)(
(int)bl_tree[curlen].fc.freq + 1);
bl_tree[16].fc.freq = (unsigned short)((int)bl_tree[16].fc.freq + 1);
}
else
if (count <= 10) bl_tree[17].fc.freq = (ush)((int)bl_tree[17].fc.freq + 1);
else bl_tree[18].fc.freq = (ush)((int)bl_tree[18].fc.freq + 1);
if (count <= 10) bl_tree[17].fc.freq = (unsigned short)((int)bl_tree[17].fc.freq + 1);
else bl_tree[18].fc.freq = (unsigned short)((int)bl_tree[18].fc.freq + 1);
}
count = 0;
prevlen = curlen;
......@@ -4147,16 +4148,16 @@ int ct_tally(int dist, int lc)
tmp = last_lit;
last_lit ++;
inbuf[tmp] = (unsigned char)lc;
if (dist == 0) dyn_ltree[lc].fc.freq = (ush)((int)dyn_ltree[lc].fc.freq + 1);
if (dist == 0) dyn_ltree[lc].fc.freq = (unsigned short)((int)dyn_ltree[lc].fc.freq + 1);
else {
int tmp_0;
unsigned int tmp_1;
dist --;
dyn_ltree[((int)length_code[lc] + 256) + 1].fc.freq = (ush)((int)dyn_ltree[
((int)length_code[lc] + 256) + 1].fc.freq + 1);
dyn_ltree[((int)length_code[lc] + 256) + 1].fc.freq = (unsigned short)(
(int)dyn_ltree[((int)length_code[lc] + 256) + 1].fc.freq + 1);
if (dist < 256) tmp_0 = (int)dist_code[dist];
else tmp_0 = (int)dist_code[256 + (dist >> 7)];
dyn_dtree[tmp_0].fc.freq = (ush)((int)dyn_dtree[tmp_0].fc.freq + 1);
dyn_dtree[tmp_0].fc.freq = (unsigned short)((int)dyn_dtree[tmp_0].fc.freq + 1);
tmp_1 = last_dist;
last_dist ++;
d_buf[tmp_1] = (unsigned short)dist;
......@@ -7166,7 +7167,7 @@ static void make_table(int nchar, uch *bitlen, int tablebits, ush *table)
}
i = (unsigned int)0;
while (i < (unsigned int)nchar) {
count[*(bitlen + i)] = (ush)((int)count[*(bitlen + i)] + 1);
count[*(bitlen + i)] = (unsigned short)((int)count[*(bitlen + i)] + 1);
i ++;
}
start[1] = (unsigned short)0;
......
......@@ -21,7 +21,7 @@ CPPFLAGS += \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-main eva_main \
-warn-special-float none \
......@@ -31,7 +31,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
-add-symbolic-path=.:.. \
TEST_SRCS := \
$(sort $(wildcard ../*.c)) \
......
......@@ -16,7 +16,7 @@ CPPFLAGS += \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-warn-special-float none \
## Eva-specific flags
......@@ -26,7 +26,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
-add-symbolic-path=.:.. \
## Analysis targets (suffixed with .eva)
TARGETS = icpc.eva
......
......@@ -92,7 +92,7 @@ real64 Interpolate_from_curve(Curve_t *curve, real64 x)
curve->y[(int)i + 1] - curve->y[i]);
break;
}
i = (sint16)((int)i - 1);
i = (short)((int)i - 1);
}
}
return result;
......
......@@ -18,7 +18,7 @@ CPPFLAGS += \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-kernel-warn-key annot:missing-spec=abort \
-kernel-warn-key typing:implicit-function-declaration=abort \
-warn-signed-downcast \
......@@ -38,7 +38,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
-add-symbolic-path=.:.. \
## Analysis targets (suffixed with .eva)
TARGETS = 01_w_Defects.eva 02_wo_Defects.eva
......
......@@ -16,7 +16,7 @@ CPPFLAGS += \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-kernel-warn-key annot:missing-spec=abort \
-kernel-warn-key typing:implicit-function-declaration=abort \
......@@ -28,7 +28,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
-add-symbolic-path=.:.. \
## Analysis targets (suffixed with .eva)
TARGETS = jsmn-main.eva jsmn-example.eva
......
......@@ -16,7 +16,7 @@ CPPFLAGS += \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-kernel-warn-key annot:missing-spec=abort \
-kernel-warn-key typing:implicit-function-declaration=abort \
......@@ -27,7 +27,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
-add-symbolic-path=.:.. \
## Analysis targets (suffixed with .eva)
TARGETS = khash.eva
......
......@@ -17,7 +17,7 @@ CPPFLAGS += \
## General flags
FCFLAGS += \
-add-symbolic-path=.:.. \
-add-symbolic-path=..:. \
-kernel-warn-key typing:implicit-function-declaration=abort \
## Eva-specific flags
......@@ -29,7 +29,6 @@ EVAFLAGS += \
## GUI-only flags
FCGUIFLAGS += \
-add-symbolic-path=.:.. \
## Analysis targets (suffixed with .eva)
TARGETS = kilo.eva
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment