From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on dcvr.yhbt.net X-Spam-Level: X-Spam-ASN: AS4713 221.184.0.0/13 X-Spam-Status: No, score=-4.1 required=3.0 tests=AWL,BAYES_00, MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED,SPF_HELO_NONE,SPF_PASS, UNPARSEABLE_RELAY shortcircuit=no autolearn=ham autolearn_force=no version=3.4.2 Received: from neon.ruby-lang.org (neon.ruby-lang.org [221.186.184.75]) by dcvr.yhbt.net (Postfix) with ESMTP id 2A9F71F4B4 for ; Sat, 17 Apr 2021 07:21:29 +0000 (UTC) Received: from neon.ruby-lang.org (localhost [IPv6:::1]) by neon.ruby-lang.org (Postfix) with ESMTP id 8ADD4120EAF; Sat, 17 Apr 2021 16:20:23 +0900 (JST) Received: from xtrwkhkc.outbound-mail.sendgrid.net (xtrwkhkc.outbound-mail.sendgrid.net [167.89.16.28]) by neon.ruby-lang.org (Postfix) with ESMTPS id 1084F120E1B for ; Sat, 17 Apr 2021 16:20:20 +0900 (JST) Received: by filterdrecv-7bbb56ff7b-t4zkh with SMTP id filterdrecv-7bbb56ff7b-t4zkh-14-607A8C6D-16 2021-04-17 07:21:17.607579197 +0000 UTC m=+125892.982126376 Received: from herokuapp.com (unknown) by ismtpd0184p1mdw1.sendgrid.net (SG) with ESMTP id PC47quFKQ1mKGabK9hDMFQ for ; Sat, 17 Apr 2021 07:21:17.518 +0000 (UTC) Date: Sat, 17 Apr 2021 07:21:17 +0000 (UTC) From: mame@ruby-lang.org Message-ID: References: Mime-Version: 1.0 X-Redmine-Project: ruby-master X-Redmine-Issue-Tracker: Bug X-Redmine-Issue-Id: 16983 X-Redmine-Issue-Author: pocke X-Redmine-Issue-Assignee: ko1 X-Redmine-Sender: mame X-Mailer: Redmine X-Redmine-Host: bugs.ruby-lang.org X-Redmine-Site: Ruby Issue Tracking System X-Auto-Response-Suppress: All Auto-Submitted: auto-generated X-Redmine-MailingListIntegration-Message-Ids: 79539 X-SG-EID: =?us-ascii?Q?EJh2gqwnyqXtd++xo=2FinyA1V0bXouTB4FkWnzNiKb48pyHr=2Fu60wQOPDwrlHkA?= =?us-ascii?Q?0c=2F77b1MOytIm96P0TakkmK0u=2F6u5Y8KS6b0VhS?= =?us-ascii?Q?CJBW177hBPsWa=2FYbmfPDhiAzfEtme0S=2FuZy=2FU8B?= =?us-ascii?Q?ZLyAfg0BsIMeWVMLPgZtOM35kxGABaQXxPVkoU2?= =?us-ascii?Q?r0gk8oBwNGYMIN68oZYrRc6By9B2zQxCFcw=3D=3D?= To: ruby-core@ruby-lang.org X-Entity-ID: b/2+PoftWZ6GuOu3b0IycA== X-ML-Name: ruby-core X-Mail-Count: 103492 Subject: [ruby-core:103492] [Ruby master Bug#16983] RubyVM::AbstractSyntaxTree.of(method) returns meaningless node if the method is defined in eval X-BeenThere: ruby-core@ruby-lang.org X-Mailman-Version: 2.1.15 Precedence: list Reply-To: Ruby developers List-Id: Ruby developers List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: ruby-core-bounces@ruby-lang.org Sender: "ruby-core" Issue #16983 has been updated by mame (Yusuke Endoh). Assignee set to ko1 (Koichi Sasada) Status changed from Open to Assigned This ticket was discussed on dev-meeting. A method (or proc) created in an `eval` context should be marked and `AST.of` should raise an exception against a marked method. @ko1 said that he will do. ---------------------------------------- Bug #16983: RubyVM::AbstractSyntaxTree.of(method) returns meaningless node if the method is defined in eval https://bugs.ruby-lang.org/issues/16983#change-91588 * Author: pocke (Masataka Kuwabara) * Status: Assigned * Priority: Normal * Assignee: ko1 (Koichi Sasada) * ruby -v: ruby 2.8.0dev (2020-06-23T13:58:26Z master dc351ff984) [x86_64-linux] * Backport: 2.5: UNKNOWN, 2.6: UNKNOWN, 2.7: UNKNOWN ---------------------------------------- # Problem `RubyVM::AST.of(method)` returns a meaningless node if the method is defined in eval. For example: ```ruby p 'blah' eval <<~RUBY, binding, __FILE__, __LINE__ + 1 def foo end RUBY method = method(:foo) pp RubyVM::AbstractSyntaxTree.of(method) # => (STR@3:5-3:12 "def foo\n" + "end\n") ``` I expect the node of `foo` method, or `nil`. But it returns a `STR` node. It becomes a big problem when `AST.of` receives arbitrary methods. Because we can't distinguish a method is defined in `eval` or not. It means we can't believe the returned value of `AST.of` if the method may receive a method defined in `eval`. For example: ```ruby def do_something_for_each_method_ast(klass) klass.instance_methods(false).each do |m| ast = RubyVM::AbstractSyntaxTree.of(klass.instance_method(m)) next unless ast do_something ast end end class A eval <<~RUBY, binding, __FILE__, __LINE__ + 1 def foo end RUBY end do_something_for_each_method_ast A ``` In the example, I expect the `do_something` method receives only node for a method definition, but it may pass a wrong node if any method is defined in `eval`. # Cause (I guess) I guess the cause is misleading node number. In and out of an `eval` block uses different sequences of node number. So if I specify `__FILE__` to `eval`, the actual file and code in `eval` may have the same node number. For example ```ruby p 'blah' # Node number for 'blah' is 1, file name is "test.rb" eval <<~RUBY, binding, __FILE__, __LINE__ + 1 def foo # Node number for `def` is also 1, file name is also "test.rb" end RUBY method = method(:foo) # It finds a node from node number 1 by reading "test.rb", so it get the str node. pp RubyVM::AbstractSyntaxTree.of(method) # => (STR@3:5-3:12 "def foo\n" + "end\n") ``` -- https://bugs.ruby-lang.org/