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.
777777 size_t count;
778778 } sized_buf_t;
779779
780- void alloc_buf(sized_buf_t *sbuf, sized_t nelems) {
780+ void alloc_buf(sized_buf_t *sbuf, size_t nelems) {
781781 sbuf->buf = (int *)malloc(sizeof(int) * nelems);
782782 sbuf->count = nelems;
783783 }
784784
785785 // 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) {
787787 // Materialize RHS values:
788788 int *tmp_ptr = (int *)malloc(sizeof(int) * nelems);
789789 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.
134134 int *__counted_by(count) buf; size_t count;
135135 } sized_buf_t;
136136
137- void alloc_buf(sized_buf_t *sbuf, sized_t nelems) {
137+ void alloc_buf(sized_buf_t *sbuf, size_t nelems) {
138138 sbuf->buf = (int *)malloc(sizeof(int) * nelems);
139139 sbuf->count = nelems;
140140 }
You can’t perform that action at this time.
0 commit comments