Skip to content
Snippets Groups Projects
Commit 130ba6aa authored by Andre Maroneze's avatar Andre Maroneze
Browse files

synchronize with frama-c master

parent f688dbd4
No related branches found
No related tags found
No related merge requests found
Pipeline #71677 failed
Subproject commit 23aa3dad31225122f8937180bf1267d71d8749fd
Subproject commit 4f07a5d29ff9659d4158391fd84377bcf14a1a0d
......@@ -745,7 +745,9 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__va_args_138; __va_arg0_140; __va_arg1_142;
__va_args_144; __va_arg0_146; __va_arg1_148;
__va_args_150; __va_arg0_152; __va_arg1_154;
__va_arg2_156; __va_args_158; "hello";
__va_arg2_156; __va_args_158; "hello"; "hello";
"hello"; "hello"; "hello"; "hello"; "hello"; "hello";
"hello"; "hello"; "hello"; "hello"; "foo";
__malloc_sdsnewlen_l91_13;
__realloc_w_sdsMakeRoomFor_l221_12;
__malloc_w_sdsnewlen_l91_14;
......@@ -754,7 +756,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_13;
__realloc_w_sdsMakeRoomFor_l221_14;
__malloc_w_sdsMakeRoomFor_l230_14;
__malloc_redisvFormatCommand_l476_6; "hello";
__malloc_redisvFormatCommand_l476_6;
__malloc_sdsnewlen_l91_15;
__realloc_w_sdsMakeRoomFor_l221_15;
__malloc_w_sdsnewlen_l91_16;
......@@ -763,7 +765,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_16;
__realloc_w_sdsMakeRoomFor_l221_17;
__malloc_w_sdsMakeRoomFor_l230_17;
__malloc_redisvFormatCommand_l476_7; "hello";
__malloc_redisvFormatCommand_l476_7;
__malloc_sdsnewlen_l91_17;
__realloc_w_sdsMakeRoomFor_l221_18;
__malloc_w_sdsnewlen_l91_18;
......@@ -772,7 +774,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_19;
__realloc_w_sdsMakeRoomFor_l221_20;
__malloc_w_sdsMakeRoomFor_l230_20;
__malloc_redisvFormatCommand_l476_8; "hello";
__malloc_redisvFormatCommand_l476_8;
__malloc_sdsnewlen_l91_19;
__realloc_w_sdsMakeRoomFor_l221_21;
__malloc_w_sdsnewlen_l91_20;
......@@ -781,7 +783,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_22;
__realloc_w_sdsMakeRoomFor_l221_23;
__malloc_w_sdsMakeRoomFor_l230_23;
__malloc_redisvFormatCommand_l476_9; "hello";
__malloc_redisvFormatCommand_l476_9;
__malloc_sdsnewlen_l91_21;
__realloc_w_sdsMakeRoomFor_l221_24;
__malloc_w_sdsnewlen_l91_22;
......@@ -790,7 +792,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_25;
__realloc_w_sdsMakeRoomFor_l221_26;
__malloc_w_sdsMakeRoomFor_l230_26;
__malloc_redisvFormatCommand_l476_10; "hello";
__malloc_redisvFormatCommand_l476_10;
__malloc_sdsnewlen_l91_23;
__realloc_w_sdsMakeRoomFor_l221_27;
__malloc_w_sdsnewlen_l91_24;
......@@ -799,7 +801,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_28;
__realloc_w_sdsMakeRoomFor_l221_29;
__malloc_w_sdsMakeRoomFor_l230_29;
__malloc_redisvFormatCommand_l476_11; "hello";
__malloc_redisvFormatCommand_l476_11;
__malloc_sdsnewlen_l91_25;
__realloc_w_sdsMakeRoomFor_l221_30;
__malloc_w_sdsnewlen_l91_26;
......@@ -808,7 +810,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_31;
__realloc_w_sdsMakeRoomFor_l221_32;
__malloc_w_sdsMakeRoomFor_l230_32;
__malloc_redisvFormatCommand_l476_12; "hello";
__malloc_redisvFormatCommand_l476_12;
__malloc_sdsnewlen_l91_27;
__realloc_w_sdsMakeRoomFor_l221_33;
__malloc_w_sdsnewlen_l91_28;
......@@ -817,7 +819,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_34;
__realloc_w_sdsMakeRoomFor_l221_35;
__malloc_w_sdsMakeRoomFor_l230_35;
__malloc_redisvFormatCommand_l476_13; "hello";
__malloc_redisvFormatCommand_l476_13;
__malloc_sdsnewlen_l91_29;
__realloc_w_sdsMakeRoomFor_l221_36;
__malloc_w_sdsnewlen_l91_30;
......@@ -826,7 +828,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_37;
__realloc_w_sdsMakeRoomFor_l221_38;
__malloc_w_sdsMakeRoomFor_l230_38;
__malloc_redisvFormatCommand_l476_14; "hello";
__malloc_redisvFormatCommand_l476_14;
__malloc_sdsnewlen_l91_31;
__realloc_w_sdsMakeRoomFor_l221_39;
__malloc_w_sdsnewlen_l91_32;
......@@ -835,7 +837,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_40;
__realloc_w_sdsMakeRoomFor_l221_41;
__malloc_w_sdsMakeRoomFor_l230_41;
__malloc_redisvFormatCommand_l476_15; "hello";
__malloc_redisvFormatCommand_l476_15;
__malloc_sdsnewlen_l91_33;
__realloc_w_sdsMakeRoomFor_l221_42;
__malloc_w_sdsnewlen_l91_34;
......@@ -844,7 +846,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_43;
__realloc_w_sdsMakeRoomFor_l221_44;
__malloc_w_sdsMakeRoomFor_l230_44;
__malloc_redisvFormatCommand_l476_16; "hello";
__malloc_redisvFormatCommand_l476_16;
__malloc_sdsnewlen_l91_35;
__realloc_w_sdsMakeRoomFor_l221_45;
__malloc_w_sdsnewlen_l91_36;
......@@ -853,7 +855,7 @@ test.c:256:[eva:locals-escaping] warning: locals {__va_arg0_152, __va_arg1_154,
__malloc_w_sdsMakeRoomFor_l230_46;
__realloc_w_sdsMakeRoomFor_l221_47;
__malloc_w_sdsMakeRoomFor_l230_47;
__malloc_redisvFormatCommand_l476_17; "foo";
__malloc_redisvFormatCommand_l476_17;
__malloc_sdsnewlen_l91_37;
__realloc_w_sdsMakeRoomFor_l221_48;
__malloc_w_sdsnewlen_l91_38;
......
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