From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <systemtap-return-23344-listarch-systemtap=sources.redhat.com@sourceware.org>
Received: (qmail 90697 invoked by alias); 3 Mar 2015 22:11:43 -0000
Mailing-List: contact systemtap-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <systemtap.sourceware.org>
List-Subscribe: <mailto:systemtap-subscribe@sourceware.org>
List-Post: <mailto:systemtap@sourceware.org>
List-Help: <mailto:systemtap-help@sourceware.org>, <http://sourceware.org/lists.html#faqs>
Sender: systemtap-owner@sourceware.org
Received: (qmail 90671 invoked by uid 48); 3 Mar 2015 22:11:39 -0000
From: "jistone at redhat dot com" <sourceware-bugzilla@sourceware.org>
To: systemtap@sourceware.org
Subject: [Bug translator/18079] New: autocast doesn't work with @defined
Date: Tue, 03 Mar 2015 22:11:00 -0000
X-Bugzilla-Reason: AssignedTo
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: systemtap
X-Bugzilla-Component: translator
X-Bugzilla-Version: unspecified
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jistone at redhat dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: systemtap at sourceware dot org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter
Message-ID: <bug-18079-6586@http.sourceware.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://sourceware.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-q1/txt/msg00204.txt.bz2

https://sourceware.org/bugzilla/show_bug.cgi?id=18079

            Bug ID: 18079
           Summary: autocast doesn't work with @defined
           Product: systemtap
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: translator
          Assignee: systemtap at sourceware dot org
          Reporter: jistone at redhat dot com

The "autocast" feature of type propagation doesn't work with @defined.  For
example, "@defined(@task(0)->mm)" is 1 since mm does exist in this @cast
task_struct.  But "@defined(task_current()->mm)" becomes 0, even though
task_current() also returns a @task() value.

This is because const-folding, including @defined, happens in
semantic_pass_optimize1 before the type propagation and autocast expansion in
semantic_pass_types.  An un-expanded @defined is assumed to be bad.  But
there's tricky interplay here, as some types might not be possible to resolve
until other @defined have been resolved to simplify things, so we can't just
reorder these.

-- 
You are receiving this mail because:
You are the assignee for the bug.