search

reedwind / lib

0 stars 0 forks source link

Bug 410 - iASL: fails to recognize specific Uninitialized LocalX #391

Open reedwind opened 11 years ago

reedwind commented 11 years ago

Reported by: Valery Podrezov valery.a.podrezov@intel.com Reported at: 2006-05-26 20:40:28

Product: ACPICA Component: iASL Compiler Platform: All OS: Linux Priority: P4 Severity: normal

reedwind commented 11 years ago

Commented by: Valery Podrezov valery.a.podrezov@intel.com Commented at: 2006-05-26 20:40:28

The demo program shows the weakness of the ASL compiler in recognition of Uninitialized LocalX.

reedwind commented 11 years ago

Commented by: Valery Podrezov valery.a.podrezov@intel.com Commented at: 2006-05-26 20:42:27

Created an attachment (id=474) ASL code to reproduce the bug

Attachment Name: gr1.asl Attachment MIME: text/plain Attachment Description: ASL code to reproduce the bug Attachment URL: (null)

reedwind commented 11 years ago

Commented by: Valery Podrezov valery.a.podrezov@intel.com Commented at: 2006-05-26 20:42:57

Created an attachment (id=475) ASL code to the bug

Attachment Name: gr2.asl Attachment MIME: text/plain Attachment Description: ASL code to the bug Attachment URL: (null)

reedwind commented 11 years ago

Commented by: Bob Moore robert.moore@intel.com Commented at: 2006-07-15 04:14:10

iASL uses a very simple algorithm to detect uninitialized locals, if any path sets the local, no warning occurs.

This is a feature request for a more detailed path analysis.