Ignore:
Timestamp:
Jan 18, 2017, 9:22:35 PM (5 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
68e6031
Parents:
f8b6d921
Message:

second attempt at gcc attributes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/tests/.expect/64/declarationSpecifier.txt

    rf8b6d921 r1ab7d3f  
    1 extern void *malloc(long unsigned int __size);
    2 extern void free(void *__ptr);
    3 extern void abort(void);
    4 extern int atexit(void (*__func)(void));
    5 extern void exit(int __status);
     1__attribute__ ((__malloc__,__nothrow__,__leaf__)) extern void *malloc(long unsigned int __size);
     2__attribute__ ((__nothrow__,__leaf__)) extern void free(void *__ptr);
     3__attribute__ ((__noreturn__,__nothrow__,__leaf__)) extern void abort(void);
     4__attribute__ ((__nonnull__(1),__nothrow__,__leaf__)) extern int atexit(void (*__func)(void));
     5__attribute__ ((__noreturn__,__nothrow__,__leaf__)) extern void exit(int __status);
    66extern int printf(const char *__restrict __format, ...);
    77volatile const short __x1__CVs_1;
     
    629629}
    630630static inline int invoke_main(int argc, char* argv[], char* envp[]) { (void)argc; (void)argv; (void)envp; return __main__Fi_iPPCc__1(argc, argv); }
    631 extern void *malloc(long unsigned int __size);
    632 extern void free(void *__ptr);
    633 extern void abort(void);
    634 extern int atexit(void (*__func)(void));
    635 extern void exit(int __status);
     631__attribute__ ((__malloc__,__nothrow__,__leaf__)) extern void *malloc(long unsigned int __size);
     632__attribute__ ((__nothrow__,__leaf__)) extern void free(void *__ptr);
     633__attribute__ ((__noreturn__,__nothrow__,__leaf__)) extern void abort(void);
     634__attribute__ ((__nonnull__(1),__nothrow__,__leaf__)) extern int atexit(void (*__func)(void));
     635__attribute__ ((__noreturn__,__nothrow__,__leaf__)) extern void exit(int __status);
    636636extern int printf(const char *__restrict __format, ...);
    637637static inline int invoke_main(int argc, char **argv, char **envp);
Note: See TracChangeset for help on using the changeset viewer.