Changeset 88b9798


Ignore:
Timestamp:
11/26/18 17:32:17 (2 years ago)
Author:
Jacob Van Walraven <jcv9@…>
Branches:
develop
Children:
0a474e3
Parents:
f6f3ae5
Message:

More assertion cleanups

Location:
lib/data-struct
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • lib/data-struct/buckets.c

    ree6e802 r88b9798  
    183183        libtrace_bucket_node_t tmp;
    184184
    185         assert(id != 0);
     185        /*assert(id != 0);*/
     186        if (id == 0) {
     187                fprintf(stderr, "bucket ID cannot be 0 in libtrace_release_bucket_id()\n");
     188                return;
     189        }
    186190
    187191        pthread_mutex_lock(&b->lock);
    188192        bnode = b->packets[id];
    189         assert(bnode != NULL);
     193        /*assert(bnode != NULL);*/
     194        if (bnode == NULL) {
     195                fprintf(stderr, "bucket ID %lu is NULL in libtrace_release_bucket_id()\n", id);
     196                return;
     197        }
    190198
    191199
     
    196204                s = id - bnode->startindex;
    197205        }
    198         assert(s < bnode->slots);
    199         assert(bnode->released[s] != 0);
     206        /*assert(s < bnode->slots);*/
     207        if (s >= bnode->slots) {
     208                fprintf(stderr, "Error in libtrace_release_bucket_id()\n");
     209                return;
     210        }
     211        /*assert(bnode->released[s] != 0);*/
     212        if (bnode->released[s] == 0) {
     213                fprintf(stderr, "Error in libtrace_release_bucket_id()\n");
     214                return;
     215        }
    200216
    201217
     
    228244                        break;
    229245
    230                 assert(lnode->next != NULL);
     246                /*assert(lnode->next != NULL);*/
     247                if (lnode->next == NULL) {
     248                        fprintf(stderr, "Error in libtrace_release_bucket_id()\n");
     249                        return;
     250                }
    231251                for (i = 0; i < front->slots; i++) {
    232252                        if (front->released[i] == 2) {
  • lib/data-struct/deque.c

    ree6e802 r88b9798  
    6363        ASSERT_RET(pthread_mutex_lock(&q->lock), == 0);
    6464        if (q->head == NULL) {
    65                 assert(q->tail == NULL && q->size == 0);
     65                /*assert(q->tail == NULL && q->size == 0);*/
     66                if (q->tail != NULL && q->size != 0) {
     67                        fprintf(stderr, "Error deque head cannot be NULL with a non NULL tail and size of more than 0 in libtrace_deque_push_back()\n");
     68                        return;
     69                }
    6670                new_node->prev = NULL;
    6771                q->head = q->tail = new_node;
    6872        } else {
    69                 assert (q->tail != NULL);
     73                /*assert (q->tail != NULL);*/
     74                if (q->tail == NULL) {
     75                        fprintf(stderr, "Error deque tail cannot be NULL if it contains a head in libtrace_deque_push_back()\n");
     76                        return;
     77                }
    7078                q->tail->next = new_node;
    7179                new_node->prev = q->tail; // Done the double link
     
    8694        ASSERT_RET(pthread_mutex_lock(&q->lock), == 0);
    8795        if (q->head == NULL) {
    88                 assert(q->tail == NULL && q->size == 0);
     96                /*assert(q->tail == NULL && q->size == 0);*/
     97                if (q->tail != NULL && q->size != 0) {
     98                        fprintf(stderr, "Error deque head cannot be NULL with a non NULL tail and size of more than 0 in libtrace_deque_push_front()\n");
     99                        return;
     100                }
    89101                new_node->next = NULL;
    90102                q->head = q->tail = new_node;
    91103        } else {
    92                 assert (q->head != NULL);
     104                /*assert (q->head != NULL);*/
     105                if (q->head == NULL) {
     106                        fprintf(stderr, "Error deque tail cannot be NULL if it contains a head in libtrace_deque_push_front()\n");
     107                        return;
     108                }
    93109                q->head->prev = new_node;
    94110                new_node->next = q->head; // Done the double link
  • lib/data-struct/linked_list.c

    ree6e802 r88b9798  
    7272        /* Create the new node */
    7373        new = (libtrace_list_node_t *)malloc(sizeof(libtrace_list_node_t));
    74         assert(new != NULL);
     74        /*assert(new != NULL);*/
     75        if (!new) {
     76                fprintf(stderr, "Unable to allocate memory for node in libtrace_list_push_front()\n");
     77                return;
     78        }
    7579        new->data = malloc(l->element_size);
    76         assert(new->data != NULL);
     80        /*assert(new->data != NULL);*/
     81        if (!new->data) {
     82                fprintf(stderr, "Unable to allocate memory for node data in libtrace_list_push_front()\n");
     83        }
    7784
    7885        new->prev = NULL;
     
    8087
    8188        if (l->head == NULL) {
    82                 assert(l->tail == NULL && l->size == 0);
     89                /*assert(l->tail == NULL && l->size == 0);*/
     90                if (l->tail != NULL && l->size != 0) {
     91                        fprintf(stderr, "Error cannot have a NULL head with a non NULL tail and a size of non 0 in libtrace_list_push_front()\n");
     92                        return;
     93                }
    8394                new->next = NULL;
    8495                l->head = l->tail = new;
     
    100111        /* Create the new node */
    101112        new = (libtrace_list_node_t *)malloc(sizeof(libtrace_list_node_t));
    102         assert(new != NULL);
     113        /*assert(new != NULL);*/
     114        if (!new) {
     115                fprintf(stderr, "Unable to allocate memory for node in libtrace_list_push_back()\n");
     116                return;
     117        }
    103118        new->data = malloc(l->element_size);
    104         assert(new->data != NULL);
    105 
     119        /*assert(new->data != NULL);*/
     120        if (!new->data) {
     121                fprintf(stderr, "Unable to allocate memory for node data in libtrace_list_push_back()\n");
     122                return;
     123        }
    106124        new->next = NULL;
    107125        memcpy(new->data, item, l->element_size);
    108126
    109127        if (l->tail == NULL) {
    110                 assert(l->head == NULL && l->size == 0);
     128                /*assert(l->head == NULL && l->size == 0);*/
     129                if (l->head != NULL && l->size != 0) {
     130                        fprintf(stderr, "Error cannot have a NULL tail with a non NULL head and a size of non 0 in libtrace_list_push_back()\n");
     131                        return;
     132                }
    111133                new->prev = NULL;
    112134                l->head = l->tail = new;
     
    197219        while (index--) {
    198220                ret = ret->next;
    199                 assert(ret != NULL);
     221                /*assert(ret != NULL);*/
     222                if (!ret) {
     223                        fprintf(stderr, "Error encountered NULL index in libtrace_list_get_index()\n");
     224                        return NULL;
     225                }
    200226        }
    201227
  • lib/data-struct/message_queue.c

    ree6e802 r88b9798  
    4343void libtrace_message_queue_init(libtrace_message_queue_t *mq, size_t message_len)
    4444{
    45         assert(message_len);
     45        /*assert(message_len);*/
     46        if (!message_len) {
     47                fprintf(stderr, "Message length cannot be 0 in libtrace_message_queue_init()\n");
     48                return;
     49        }
    4650        ASSERT_RET(pipe(mq->pipefd), != -1);
    4751        mq->message_count = 0;
     
    6973{
    7074        int ret;
    71         assert(mq->message_len);
     75        /*assert(mq->message_len);*/
    7276        ASSERT_RET(write(mq->pipefd[1], message, mq->message_len), == (int) mq->message_len);
    7377        // Update after we've written
Note: See TracChangeset for help on using the changeset viewer.