Last Comment Bug 656591 - TI+JM: [infer failure] Missing type at #2:00028 pushed 0: void
: TI+JM: [infer failure] Missing type at #2:00028 pushed 0: void
Product: Core
Classification: Components
Component: JavaScript Engine (show other bugs)
: unspecified
: All All
-- normal (vote)
: ---
Assigned To: general
: Jason Orendorff [:jorendorff]
Depends on: 660002
Blocks: infer-regress
  Show dependency treegraph
Reported: 2011-05-12 05:36 PDT by Jan de Mooij [:jandem]
Modified: 2011-05-26 10:20 PDT (History)
4 users (show)
See Also:
Crash Signature:
QA Whiteboard:
Iteration: ---
Points: ---
Has Regression Range: ---
Has STR: ---


Description User image Jan de Mooij [:jandem] 2011-05-12 05:36:09 PDT
(function () {
    var i = 0; 
    (function () {
        var x;
        (x = "") || 1;
        (x = "")(i || x);
$ ./js -a -n -m test.js
[infer failure] Missing type at #2:00028 pushed 0: void

Revision 5bcf457d942c, 32-bit OS X.
Comment 1 User image Brian Hackett (:bhackett) 2011-05-14 10:55:18 PDT
Better fix for the issue exposed by bug 655508, which just papered over the real problem.  After writing to a local, if that local is dead we would skip writes of its payload and type tags.  At a joint point, however, we would assume a synced known type for all entries, and if an entry was overwritten with a new value of the same type we wouldn't bother to write out a new type tag.

To fix this dissonance, at join points we don't mark any known type for dead entries.  This better reflects the state of the world: the value in memory isn't the variable's actual value (which won't be observed), and the in-memory type of that value is not known.

Note You need to log in before you can comment on or make changes to this bug.