[Bug objc/28430] New: objc_write_type(stream, @encode(char*), &char_array) crashes

[issac dot trotts at gmail dot com]

#include <objc/Object.h>
#include <stdio.h>
#include <string.h>

int main()
{
    char s[80];
    strcpy(s,"Hi world");
    TypedStream* stream =
        objc_open_typed_stream_for_file("foo",OBJC_WRITEONLY);
    objc_write_type(stream, @encode(char*), &s); // crash here
    objc_close_typed_stream(stream);
    return 0;
}


-- 
           Summary: objc_write_type(stream, @encode(char*), &char_array)
                    crashes
           Product: gcc
           Version: 3.3.5
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: objc
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: issac dot trotts at gmail dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28430