Bug 204945 - usr/src/usr.sbin/acpi/acpidump/acpi.c:729: code relies on undefined behaviour ?
Summary: usr/src/usr.sbin/acpi/acpidump/acpi.c:729: code relies on undefined behaviour ?
Status: New
Alias: None
Product: Base System
Classification: Unclassified
Component: misc (show other bugs)
Version: CURRENT
Hardware: Any Any
: --- Affects Some People
Assignee: freebsd-acpi (Nobody)
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-12-01 19:40 UTC by David Binderman
Modified: 2016-05-20 08:23 UTC (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description David Binderman 2015-12-01 19:40:44 UTC 
[usr/src/usr.sbin/acpi/acpidump/acpi.c:729]: (warning) Invalid test for overflow 'vaddr+sizeof(struct TCPAevent)<vaddr'. Condition is always false unless there is overflow, and overflow is Undefined Behaviour.

Source code is

        if ((vaddr + sizeof(struct TCPAevent) >= vend)||
            (vaddr + sizeof(struct TCPAevent) < vaddr))
            break;