Changeset ac4dad2 for doc/papers/general/evaluation/c-bench.c

Timestamp:

Apr 28, 2018, 9:20:28 AM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, 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, pthread-emulation, qualifiedEnum, with_gc

Children:

6926a6d

Parents:

aa5fdac

Message:

shorten experimental code

File:

• doc/papers/general/evaluation/c-bench.c (modified) (3 diffs)

doc/papers/general/evaluation/c-bench.c

@@ -5 +5 @@
 #include "c-stack.h"
 
-char* new_char( char c ) {
-        char* q = malloc(sizeof(char)); /***/
+char * new_char( char c ) {
+        char* q = malloc( sizeof(char) ); /***/
         *q = c;
         return q;
 }
 
-short* new_short( short s ) {
-        short* q = malloc(sizeof(short)); /***/
+short * new_short( short s ) {
+        short* q = malloc( sizeof(short) ); /***/
         *q = s;
         return q;
@@ -18 +18 @@
 
 int* new_int( int i ) {
-        int* q = malloc(sizeof(int)); /***/
+        int* q = malloc( sizeof(int) ); /***/
         *q = i;
         return q;
 }
 
-void* copy_char( const void* p ) { return new_char( *(const char*)p ); } /***/
-void* copy_short( const void* p ) { return new_short( *(const short*)p ); } /***/
-void* copy_int( const void* p ) { return new_int( *(const int*)p ); } /***/
-void* copy_pair_short_char( const void* p ) { return copy_pair( p, copy_short, copy_char ); } /***/
-void free_pair_short_char( void* p ) { free_pair( p, free, free ); } /***/
+void * copy_char( const void * p ) { return new_char( *(const char*)p ); } /***/
+void * copy_short( const void * p ) { return new_short( *(const short*)p ); } /***/
+void * copy_int( const void * p ) { return new_int( *(const int*)p ); } /***/
+void * copy_pair_short_char( const void * p ) { return copy_pair( p, copy_short, copy_char ); } /***/
+void free_pair_short_char( void * p ) { free_pair( p, free, free ); } /***/
 
 int cmp_char( const void* a, const void* b ) { /***/
@@ -37 +37 @@
 }
 
-int main(int argc, char** argv) {
+int main(int argc, char * argv[] ) {
         int maxi = 0, vali = 42;
         struct stack si = new_stack(), ti;