Bug Summary

File:test/region-test.c
Location:line 82, column 5
Description:Value stored to 'b' is never read

Annotated Source Code

1#include <assert.h>
2#include <stdlib.h>
3#include <stdio.h>
4#include "utils.h"
5
6int
7main ()
8{
9 pixman_region32_t r1;
10 pixman_region32_t r2;
11 pixman_region32_t r3;
12 pixman_box32_t boxes[] = {
13 { 10, 10, 20, 20 },
14 { 30, 30, 30, 40 },
15 { 50, 45, 60, 44 },
16 };
17 pixman_box32_t boxes2[] = {
18 { 2, 6, 7, 6 },
19 { 4, 1, 6, 7 },
20 };
21 pixman_box32_t boxes3[] = {
22 { 2, 6, 7, 6 },
23 { 4, 1, 6, 1 },
24 };
25 int i, j;
26 pixman_box32_t *b;
27 pixman_image_t *image, *fill;
28 pixman_color_t white = {
29 0xffff,
30 0xffff,
31 0xffff,
32 0xffff
33 };
34
35 prng_srand (0);
36
37 /* This used to go into an infinite loop before pixman-region.c
38 * was fixed to not use explict "short" variables
39 */
40 pixman_region32_init_rect (&r1, 0, 0, 20, 64000);
41 pixman_region32_init_rect (&r2, 0, 0, 20, 64000);
42 pixman_region32_init_rect (&r3, 0, 0, 20, 64000);
43
44 pixman_region32_subtract (&r1, &r2, &r3);
45
46
47 /* This would produce a region containing an empty
48 * rectangle in it. Such regions are considered malformed,
49 * but using an empty rectangle for initialization should
50 * work.
51 */
52 pixman_region32_init_rects (&r1, boxes, 3);
53
54 b = pixman_region32_rectangles (&r1, &i);
55
56 assert (i == 1)(__builtin_expect(!(i == 1), 0) ? __assert_rtn(__func__, "region-test.c"
, 56, "i == 1") : (void)0)
;
57
58 while (i--)
59 {
60 assert (b[i].x1 < b[i].x2)(__builtin_expect(!(b[i].x1 < b[i].x2), 0) ? __assert_rtn(
__func__, "region-test.c", 60, "b[i].x1 < b[i].x2") : (void
)0)
;
61 assert (b[i].y1 < b[i].y2)(__builtin_expect(!(b[i].y1 < b[i].y2), 0) ? __assert_rtn(
__func__, "region-test.c", 61, "b[i].y1 < b[i].y2") : (void
)0)
;
62 }
63
64 /* This would produce a rectangle containing the bounding box
65 * of the two rectangles. The correct result is to eliminate
66 * the broken rectangle.
67 */
68 pixman_region32_init_rects (&r1, boxes2, 2);
69
70 b = pixman_region32_rectangles (&r1, &i);
71
72 assert (i == 1)(__builtin_expect(!(i == 1), 0) ? __assert_rtn(__func__, "region-test.c"
, 72, "i == 1") : (void)0)
;
73
74 assert (b[0].x1 == 4)(__builtin_expect(!(b[0].x1 == 4), 0) ? __assert_rtn(__func__
, "region-test.c", 74, "b[0].x1 == 4") : (void)0)
;
75 assert (b[0].y1 == 1)(__builtin_expect(!(b[0].y1 == 1), 0) ? __assert_rtn(__func__
, "region-test.c", 75, "b[0].y1 == 1") : (void)0)
;
76 assert (b[0].x2 == 6)(__builtin_expect(!(b[0].x2 == 6), 0) ? __assert_rtn(__func__
, "region-test.c", 76, "b[0].x2 == 6") : (void)0)
;
77 assert (b[0].y2 == 7)(__builtin_expect(!(b[0].y2 == 7), 0) ? __assert_rtn(__func__
, "region-test.c", 77, "b[0].y2 == 7") : (void)0)
;
78
79 /* This should produce an empty region */
80 pixman_region32_init_rects (&r1, boxes3, 2);
81
82 b = pixman_region32_rectangles (&r1, &i);
Value stored to 'b' is never read
83
84 assert (i == 0)(__builtin_expect(!(i == 0), 0) ? __assert_rtn(__func__, "region-test.c"
, 84, "i == 0") : (void)0)
;
85
86 fill = pixman_image_create_solid_fill (&white);
87 for (i = 0; i < 100; i++)
88 {
89 int image_size = 128;
90
91 pixman_region32_init (&r1);
92
93 /* Add some random rectangles */
94 for (j = 0; j < 64; j++)
95 pixman_region32_union_rect (&r1, &r1,
96 prng_rand_n (image_size),
97 prng_rand_n (image_size),
98 prng_rand_n (25),
99 prng_rand_n (25));
100
101 /* Clip to image size */
102 pixman_region32_init_rect (&r2, 0, 0, image_size, image_size);
103 pixman_region32_intersect (&r1, &r1, &r2);
104 pixman_region32_fini (&r2);
105
106 /* render region to a1 mask */
107 image = pixman_image_create_bits (PIXMAN_a1, image_size, image_size, NULL((void*)0), 0);
108 pixman_image_set_clip_region32 (image, &r1);
109 pixman_image_composite32 (PIXMAN_OP_SRC,
110 fill, NULL((void*)0), image,
111 0, 0, 0, 0, 0, 0,
112 image_size, image_size);
113 pixman_region32_init_from_image (&r2, image);
114
115 pixman_image_unref (image);
116
117 assert (pixman_region32_equal (&r1, &r2))(__builtin_expect(!(pixman_region32_equal (&r1, &r2))
, 0) ? __assert_rtn(__func__, "region-test.c", 117, "pixman_region32_equal (&r1, &r2)"
) : (void)0)
;
118 pixman_region32_fini (&r1);
119 pixman_region32_fini (&r2);
120
121 }
122 pixman_image_unref (fill);
123
124 return 0;
125}