/* Test if the Objective-C @encode machinery distinguishes between   'BOOL *' (which should be encoded as a pointer to BOOL) and 'char *' (which   should be encoded as '*').  This is somewhat tricky wrt the NeXT runtime,   where we have 'typedef char BOOL'.  *//* Contributed by Ziemowit Laski <zlaski@apple.com>.  *//* { dg-options "-fnext-runtime -lobjc" } *//* { dg-do run } */#include <string.h>           #include <stdlib.h>#include <objc/objc.h>int main(void) {  const char *BOOL_ptr = @encode(BOOL *);  const char *BOOL_ = @encode(BOOL);  const char *char_ptr = @encode(char *);  if(*BOOL_ptr != '^' || strcmp(BOOL_ptr + 1, BOOL_))    abort();  if(strcmp(char_ptr, "*"))    abort();  return 0;}