malloc2.stderr.exp malloc2.vgtest \
malloc3.stderr.exp malloc3.stdout.exp malloc3.vgtest \
manuel1.stderr.exp manuel1.stdout.exp manuel1.vgtest \
- manuel1.stderr.exp-freebsd-clang \
manuel2.stderr.exp manuel2.stderr.exp64 manuel2.stdout.exp \
manuel2.vgtest \
manuel3.stderr.exp manuel3.vgtest \
{
int x;
- printf ("x = %d\n", x==0xCAFEBABE ? 99 : 88);
+ if (x==0xCAFEBABE)
+ {
+ printf ("x = %d\n", 99);
+ }
+ else
+ {
+ printf ("x = %d\n", 88);
+ }
return 0;
}
+++ /dev/null
-[[[
-Conditional jump or move depends on uninitialised value(s)
- ...
- by 0x........: main (manuel1.c:7)
-
-[[[
-Conditional jump or move depends on uninitialised value(s)
- ...
- by 0x........: main (manuel1.c:7)
-
-[[[
-Conditional jump or move depends on uninitialised value(s)
- ...
- by 0x........: main (manuel1.c:7)
-
-[[[
-Conditional jump or move depends on uninitialised value(s)
- ...
- by 0x........: main (manuel1.c:7)
-
-[[[
-Conditional jump or move depends on uninitialised value(s)
- ...
- by 0x........: main (manuel1.c:7)
-
-[[[
-Syscall param write(buf) points to uninitialised byte(s)
- ...
- Address 0x........ is 4 bytes inside a block of size 131,072 alloc'd
- at 0x........: malloc (vg_replace_malloc.c:...)
- ...
- by 0x........: main (manuel1.c:7)
-