diff options
| author | Tobias Stoeckmann | 2016-08-27 19:28:16 +0200 |
|---|---|---|
| committer | Karel Zak | 2016-08-29 13:22:24 +0200 |
| commit | 848018183869d908ddfa59ce7362272f65baa860 (patch) | |
| tree | 710c9f000c3ca3570bdacc80c41a1aaf3a5cc782 /libfdisk | |
| parent | lib/pager: fix test (diff) | |
| download | kernel-qcow2-util-linux-848018183869d908ddfa59ce7362272f65baa860.tar.gz kernel-qcow2-util-linux-848018183869d908ddfa59ce7362272f65baa860.tar.xz kernel-qcow2-util-linux-848018183869d908ddfa59ce7362272f65baa860.zip | |
libfdisk: Fix assert error in free space handling
An off-by-one issue exists in fdisk_get_freespaces. It can trigger an
assert, as seen here:
$ dd if=/dev/zero of=cfdisk.iso bs=1M count=1
$ losetup -f cfdisk.iso
$ echo w | fdisk /dev/loop0
$ echo '1,2' | sfdisk /dev/loop0 --append
$ echo '3,' | sfdisk /dev/loop0 --append
$ sfdisk --list-free /dev/loop0
Aborted
$ _
Problem here is an invalid "grain" processing. A grain is considered
expected free space between partitions which can be required for proper
alignment. Normally, it's 1 MB but in this case our iso is merely 1 MB
so the grain is reduced to 1 byte.
The if-condition in question checks for "last + grain <= pa->start" and
therefore even triggers if there is no space between them (due to equal
check). Eventually, the start block address is higher than the end block
address which triggers the assert().
Signed-off-by: Tobias Stoeckmann <tobias@stoeckmann.org>
Diffstat (limited to 'libfdisk')
| -rw-r--r-- | libfdisk/src/table.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libfdisk/src/table.c b/libfdisk/src/table.c index 755c6c286..bf30d1b19 100644 --- a/libfdisk/src/table.c +++ b/libfdisk/src/table.c @@ -616,7 +616,7 @@ int fdisk_get_freespaces(struct fdisk_context *cxt, struct fdisk_table **tb) /* We ignore small free spaces (smaller than grain) to keep partitions * aligned, the exception is space before the first partition where * we assume that cxt->first_lba is aligned. */ - if (last + grain <= pa->start + if (last + grain < pa->start || (last < pa->start && last == cxt->first_lba)) { rc = table_add_freespace(cxt, *tb, last + (last > cxt->first_lba ? 1 : 0), |