[Bug 204945] usr/src/usr.sbin/acpi/acpidump/acpi.c:729: code relies on undefined behaviour ?

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=204945

            Bug ID: 204945
           Summary: usr/src/usr.sbin/acpi/acpidump/acpi.c:729: code relies
                    on undefined behaviour ?
           Product: Base System
           Version: 11.0-CURRENT
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Some People
          Priority: ---
         Component: misc
          Assignee: freebsd-bugs at FreeBSD.org
          Reporter: dcb314 at hotmail.com

[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;

-- 
You are receiving this mail because:
You are the assignee for the bug.