Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 208096 Details for
Bug 245806
[science overlay] sci-mathematics/frama-c
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
[patch]
sci-mathematics/frama-c/files/frama-c-20090901-why_link.patch
frama-c-20090901-why_link.patch (text/plain), 2.12 KB, created by
Jonathan-Christofer Demay
on 2009-10-23 23:30:11 UTC
(
hide
)
Description:
sci-mathematics/frama-c/files/frama-c-20090901-why_link.patch
Filename:
MIME Type:
Creator:
Jonathan-Christofer Demay
Created:
2009-10-23 23:30:11 UTC
Size:
2.12 KB
patch
obsolete
>From: Mehdi Dogguy <mehdi@debian.org> >Date: Wed, 9 Sep 2009 16:51:55 +0200 >Subject: [PATCH] Make Jessie plugin use Jc from Why 2.19 > >--- > src/jessie/interp.ml | 14 ++++++-------- > 1 files changed, 6 insertions(+), 8 deletions(-) > >diff --git a/src/jessie/interp.ml b/src/jessie/interp.ml >index c3057db..84ae55d 100644 >--- a/src/jessie/interp.ml >+++ b/src/jessie/interp.ml >@@ -2060,8 +2060,8 @@ let global vardefs g = > | GCompTag(compinfo,pos) when compinfo.cstruct -> (* struct type *) > let field fi = > let this = >- default_field_modifiers, >- ctype ?bitsize:fi.fsize_in_bits fi.ftype, >+ false, >+ (ctype ?bitsize:fi.fsize_in_bits fi.ftype:Jc_ast.ptype), > fi.fname, fi.fsize_in_bits > in > let padding_size = >@@ -2069,8 +2069,8 @@ let global vardefs g = > in > if padding_size = 0 then [this] else > let padding = >- default_field_modifiers, >- type_of_padding, unique_name "padding", fi.fpadding_in_bits >+ false, >+ (type_of_padding:Jc_ast.ptype), unique_name "padding", fi.fpadding_in_bits > in > [this;padding] > in >@@ -2131,8 +2131,8 @@ let global vardefs g = > in > let padding = > if union_size = 0 then [] else >- [default_field_modifiers, >- type_of_padding, unique_name "padding", Some union_size] >+ [false, >+ (type_of_padding:Jc_ast.ptype), unique_name "padding", Some union_size] > in > let union_tag = JCDtag(compinfo.cname,[],None,padding,[]) in > let fields = List.map field compinfo.cfields in >@@ -2397,8 +2397,6 @@ let pragma = function > [Jc_output.JCfloat_model Jc_env.FMstrict] > | "full" -> float_model := `Full; > [Jc_output.JCfloat_model Jc_env.FMfull] >- | "multirounding" -> float_model := `Multirounding; >- [Jc_output.JCfloat_model Jc_env.FMmultirounding] > | s -> > Jessie_options.warning ~current:true > "pragma %s: identifier %s is not a valid value (ignored)." >--
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 245806
:
170895
|
171559
|
175610
|
175611
|
175613
|
180844
|
180847
|
180989
|
182431
|
185866
|
208093
|
208095
| 208096 |
208097
|
208105