Get xhydra to work with gcc 4.6

RESOLVED FIXED

Status

()

Core
Rewriting and Analysis
RESOLVED FIXED
6 years ago
6 years ago

People

(Reporter: jcranmer, Assigned: jcranmer)

Tracking

Firefox Tracking Flags

(Not tracked)

Details

Attachments

(2 attachments)

(Assignee)

Description

6 years ago
Created attachment 557214 [details] [diff] [review]
Part 1: Build on both 4.5 and 4.6
Attachment #557214 - Flags: review?(tglek)
(Assignee)

Comment 1

6 years ago
Created attachment 557217 [details] [diff] [review]
Part 2: Fix up decl_name in gcc 4.6

It turns out that TRANSLATION_UNIT_DECL is added as a context for gcc 4.6 globals, which causes a D_1:: to prefix global names. (The `D' for "I don't know what this is", `1' for "it has UID 1")
Assignee: nobody → Pidgeot18
Attachment #557217 - Flags: review?(tglek)

Updated

6 years ago
Attachment #557214 - Flags: review?(tglek) → review+

Comment 2

6 years ago
Comment on attachment 557217 [details] [diff] [review]
Part 2: Fix up decl_name in gcc 4.6

Is there a testcase for this?
(Assignee)

Comment 3

6 years ago
Around 5 or 6 of the treehydra test cases are testing this (this is what caused treehydra failure with gcc 4.6).

Updated

6 years ago
Attachment #557217 - Flags: review?(tglek) → review+
(Assignee)

Comment 4

6 years ago
Pushed to the dehydra repository.
Status: ASSIGNED → RESOLVED
Last Resolved: 6 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.