425115 - Treehydra: Allow setting properties on lazy objects

Status: RESOLVED FIXED

(Developer Infrastructure :: Source Code Analysis, defect)

Description

[David Mandelin [:dmandelin]]

Test case:

  function process_tree(t) {
    t.foo = "bar";
    print(t.foo);
  }

I want it to print "bar". Currently it produces an unhandledLazyProperty error. The reason for this request is so I can annotate basic blocks and CFGs with states during analysis, bookkeeping information, and analysis results to pass to other analysis passes. All of this is intraprocedural, so it should not be affected by GCC object lifetimes.

Per shaver, the error is actually caused by the property set line of code, because resolve is called on new property creation. The JSNewResolveOp API [1] should give Treehydra the ability to figure this out, via the JSRESOLVE_ASSIGNING flag.

[1] http://developer.mozilla.org/en/docs/JSNewResolveOp

Comment 1

[(dormant account)]

This testcase works here. 

Comment 2

[David Mandelin [:dmandelin]]

(In reply to comment #1)
> This testcase works here. 

Sorry, there's a subtlety in the resolve function, so when I hand-reduced my test, I took out something necessary. The following test case should show the error:

  function process_tree(t) {
    let x = t.function_decl;
    t.foo = "bar";
    print(t.foo);
  }

Comment 3

[(dormant account)]

Fixed, thanks.