| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_byte_cursor_read/ |
| H A D | aws_byte_cursor_read_harness.c | 23 struct aws_byte_cursor old_cur = cur; in aws_byte_cursor_read_harness() local
29 assert_bytes_match(old_cur.ptr, dest, length); in aws_byte_cursor_read_harness()
37 if (old_cur.len > (SIZE_MAX >> 1) || length > (SIZE_MAX >> 1) || length > old_cur.len) { in aws_byte_cursor_read_harness()
38 if (old_cur.len != 0) { in aws_byte_cursor_read_harness()
42 if (old_cur.ptr != NULL) { in aws_byte_cursor_read_harness()
43 assert(cur.ptr == old_cur.ptr + length); in aws_byte_cursor_read_harness()
47 assert(cur.len == old_cur.len - length); in aws_byte_cursor_read_harness()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/ |
| H A D | aws_byte_cursor_read_and_fill_buffer_harness.c | 21 struct aws_byte_cursor old_cur = cur; in aws_byte_cursor_read_and_fill_buffer_harness() local
31 assert_bytes_match(old_cur.ptr, buf.buffer, buf.capacity); in aws_byte_cursor_read_and_fill_buffer_harness()
41 …if (old_cur.len > (SIZE_MAX >> 1) || old_buf.capacity > (SIZE_MAX >> 1) || old_buf.capacity > old_… in aws_byte_cursor_read_and_fill_buffer_harness()
42 if (old_cur.len != 0) { in aws_byte_cursor_read_and_fill_buffer_harness()
46 if (old_cur.ptr != NULL) { in aws_byte_cursor_read_and_fill_buffer_harness()
47 assert(cur.ptr == old_cur.ptr + old_buf.capacity); in aws_byte_cursor_read_and_fill_buffer_harness()
51 assert(cur.len == old_cur.len - old_buf.capacity); in aws_byte_cursor_read_and_fill_buffer_harness()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/include/proof_helpers/ |
| H A D | aws_byte_cursor_read_common.h | 22 struct aws_byte_cursor old_cur = cur; in aws_byte_cursor_read_common_harness() local
26 memcpy(&dest_copy, old_cur.ptr, BYTE_WIDTH); in aws_byte_cursor_read_common_harness()
35 assert(BYTE_WIDTH <= old_cur.len && old_cur.len <= (SIZE_MAX >> 1)); in aws_byte_cursor_read_common_harness()
36 assert(cur.ptr == old_cur.ptr + BYTE_WIDTH); in aws_byte_cursor_read_common_harness()
37 assert(cur.len == old_cur.len - BYTE_WIDTH); in aws_byte_cursor_read_common_harness()
39 assert(cur.len == old_cur.len); in aws_byte_cursor_read_common_harness()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_byte_cursor_read_u8/ |
| H A D | aws_byte_cursor_read_u8_harness.c | 24 struct aws_byte_cursor old_cur = cur; in aws_byte_cursor_read_u8_harness() local
30 assert_bytes_match(old_cur.ptr, dest, 1); in aws_byte_cursor_read_u8_harness()
38 if (old_cur.len < (SIZE_MAX >> 1) && old_cur.len > 1) { in aws_byte_cursor_read_u8_harness()
39 assert(cur.ptr == old_cur.ptr + 1); in aws_byte_cursor_read_u8_harness()
40 assert(cur.len == old_cur.len - 1); in aws_byte_cursor_read_u8_harness()
|
| /dports/multimedia/gpodder/gpodder-3.10.17/src/gpodder/ |
| H A D | schema.py | 247 old_cur = old_db.cursor()
248 columns = [x[1] for x in old_cur.execute('PRAGMA table_info(channels)')]
249 for row in old_cur.execute('SELECT * FROM channels'):
274 old_cur.close()
277 old_cur = old_db.cursor()
278 columns = [x[1] for x in old_cur.execute('PRAGMA table_info(episodes)')]
279 for row in old_cur.execute('SELECT * FROM episodes'):
313 old_cur.close()
|
| /dports/databases/postgresql96-server/postgresql-9.6.24/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql96-plpython/postgresql-9.6.24/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql96-pltcl/postgresql-9.6.24/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql10-server/postgresql-10.19/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql10-docs/postgresql-10.19/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql11-client/postgresql-11.14/src/bin/pg_upgrade/ |
| H A D | file.c | 171 char *old_cur; in rewriteVisibilityMap() local
199 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
201 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
218 while (old_cur < old_break) in rewriteVisibilityMap()
220 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
239 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql10-pltcl/postgresql-10.19/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql10-client/postgresql-10.19/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql10-contrib/postgresql-10.19/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql10-plpython/postgresql-10.19/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql10-plperl/postgresql-10.19/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql11-plperl/postgresql-11.14/src/bin/pg_upgrade/ |
| H A D | file.c | 171 char *old_cur; in rewriteVisibilityMap() local
199 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
201 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
218 while (old_cur < old_break) in rewriteVisibilityMap()
220 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
239 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql11-plpython/postgresql-11.14/src/bin/pg_upgrade/ |
| H A D | file.c | 171 char *old_cur; in rewriteVisibilityMap() local
199 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
201 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
218 while (old_cur < old_break) in rewriteVisibilityMap()
220 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
239 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql11-docs/postgresql-11.14/src/bin/pg_upgrade/ |
| H A D | file.c | 171 char *old_cur; in rewriteVisibilityMap() local
199 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
201 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
218 while (old_cur < old_break) in rewriteVisibilityMap()
220 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
239 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql11-server/postgresql-11.14/src/bin/pg_upgrade/ |
| H A D | file.c | 171 char *old_cur;
199 old_cur = buffer.data + SizeOfPageHeaderData;
201 old_break = old_cur + rewriteVmBytesPerPage;
218 while (old_cur < old_break)
220 uint8 byte = *(uint8 *) old_cur;
239 old_cur++;
|
| /dports/databases/postgresql11-contrib/postgresql-11.14/src/bin/pg_upgrade/ |
| H A D | file.c | 171 char *old_cur; in rewriteVisibilityMap() local
199 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
201 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
218 while (old_cur < old_break) in rewriteVisibilityMap()
220 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
239 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql11-pltcl/postgresql-11.14/src/bin/pg_upgrade/ |
| H A D | file.c | 171 char *old_cur; in rewriteVisibilityMap() local
199 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
201 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
218 while (old_cur < old_break) in rewriteVisibilityMap()
220 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
239 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql96-docs/postgresql-9.6.24/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql96-contrib/postgresql-9.6.24/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|
| /dports/databases/postgresql96-client/postgresql-9.6.24/src/bin/pg_upgrade/ |
| H A D | file.c | 170 char *old_cur; in rewriteVisibilityMap() local
198 old_cur = buffer.data + SizeOfPageHeaderData; in rewriteVisibilityMap()
200 old_break = old_cur + rewriteVmBytesPerPage; in rewriteVisibilityMap()
217 while (old_cur < old_break) in rewriteVisibilityMap()
219 uint8 byte = *(uint8 *) old_cur; in rewriteVisibilityMap()
238 old_cur++; in rewriteVisibilityMap()
|