File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -777,13 +777,13 @@ the transformed pseudo code of function ``alloc_buf()`` in the example below.
777
777
size_t count;
778
778
} sized_buf_t;
779
779
780
- void alloc_buf(sized_buf_t *sbuf, sized_t nelems) {
780
+ void alloc_buf(sized_buf_t *sbuf, size_t nelems) {
781
781
sbuf->buf = (int *)malloc(sizeof(int) * nelems);
782
782
sbuf->count = nelems;
783
783
}
784
784
785
785
// Transformed pseudo code:
786
- void alloc_buf(sized_buf_t *sbuf, sized_t nelems) {
786
+ void alloc_buf(sized_buf_t *sbuf, size_t nelems) {
787
787
// Materialize RHS values:
788
788
int *tmp_ptr = (int *)malloc(sizeof(int) * nelems);
789
789
int tmp_count = nelems;
Original file line number Diff line number Diff line change @@ -134,7 +134,7 @@ same basic block and without side effect in between.
134
134
int *__counted_by(count) buf; size_t count;
135
135
} sized_buf_t;
136
136
137
- void alloc_buf(sized_buf_t *sbuf, sized_t nelems) {
137
+ void alloc_buf(sized_buf_t *sbuf, size_t nelems) {
138
138
sbuf->buf = (int *)malloc(sizeof(int) * nelems);
139
139
sbuf->count = nelems;
140
140
}
You can’t perform that action at this time.
0 commit comments