[PATCH] Silence warning about casting void ** to char **

Submitted by Michaël Meyer

Assigned to Matthew Brush @matt

Link to original bug (#16148)

Description

See the attached patch.

Version: 0.4.2

Michaël Meyer submitted a patch:

Patch 9215, "Patch":
0006-Silence-warning-about-casting-void-to-char.patch

Matthew Brush @matt said:

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.

added Patch label

Fixed in 774176a3.

closed

assigned to @Tamaranch and unassigned @matt

changed milestone to %0.4.90