! Please note that this is a snapshot of our old Bugzilla server, which is read only since May 29, 2020. Please go to gitlab.xfce.org for our new server !
[PATCH] Silence warning about casting void ** to char **
Status:
RESOLVED: MOVED
Product:
Mousepad
Component:
General

Comments

Description Michaël Meyer 2019-11-12 10:35:22 CET
See the attached patch.
Comment 1 Michaël Meyer 2019-11-12 10:35:56 CET
Created attachment 9215 
Patch
Comment 2 Matthew Brush editbugs 2019-11-12 21:37:40 CET
If I understand correctly, pointers to void and char are a special case and are guaranteed to be interchangeable.

C11 draft, 6.2.5, point 28

> A pointer to void shall have the same representation and alignment
> requirements as a pointer to a character type. Similarly, pointers
> to qualified or unqualified versions of compatible types shall have
> the same representation and alignment requirements...

Not that it matters though, since the paranoid static assertion is compile-time only.
Comment 3 Git Bot editbugs 2020-05-24 01:33:06 CEST
-- GitLab Migration Automatic Message --

This bug has been migrated to xfce.org's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.xfce.org/apps/mousepad/-/issues/40.

Please create an account or use an existing account on one of our supported OAuth providers. 

If you want to fork to submit patches and merge requests please continue reading here: https://docs.xfce.org/contribute/dev/git/start#gitlab_forks_and_merge_requests

Also feel free to reach out to us on the mailing list https://mail.xfce.org/mailman/listinfo/xfce4-dev

Bug #16148

Reported by:
Michaël Meyer
Reported on: 2019-11-12
Last modified on: 2020-05-24

People

Assignee:
Matthew Brush
CC List:
1 user

Version

Target Milestone:
Mousepad 0.4.x

Attachments

Patch (1.08 KB, patch)
2019-11-12 10:35 CET , Michaël Meyer
no flags

Additional information