Skip to content
This repository was archived by the owner on Jul 31, 2018. It is now read-only.
This repository was archived by the owner on Jul 31, 2018. It is now read-only.

Esprima Keyword Bug #20

Open
Open
@IgnoredAmbience

Description

@IgnoredAmbience

tests/test262/ch10/10.1/10.1.1/10.1.1-17-s.js:

function testcase() {
        "use strict";
        try {
            var obj = {};
            Object.defineProperty(obj, "accProperty", {
                get: function () {
                    eval("public = 1;");
                    return 11;
                }
            });

            var temp = obj.accProperty === 11;
            return false;
        } catch (e) {
            return e instanceof SyntaxError;
        }
    }
runTestCase(testcase);

stdout:

A variable [__$ERROR__] is defined at global scope.  Its value is:
"runTestCase returned false"

stderr:

Warning:  JsNumber.to_string called.  This might be responsible for errors.  Argument value:  0..
Warning:  JsNumber.to_string called.  This might be responsible for errors.  Argument value:  0..
Warning:  JsNumber.to_string called.  This might be responsible for errors.  Argument value:  0..
Warning:  JsNumber.to_string called.  This might be responsible for errors.  Argument value:  0..
Warning: ref_get_value returns the undefined value on Coq_resvalue_value: undefined
Warning: ref_get_value returns the undefined value on Coq_resvalue_value: undefined

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions