#include <stdlib.h>

int lang_struct_uuval_constant(void){
    int x;
    x = 3;            /* 'Unused Value' warning only issued here if
                       * REPORT_UNUSED_ASSIGNMENTS_FROM_CONSTANTS=Yes,
                       * because the assignment is to a constant.
                       */
    x = 4;
    return x;
}

int lang_struct_uuval_rand(void){
    int x;
    x = rand();       /* 'Unused Value' warning issued here regardless
                       * of setting of REPORT_UNUSED_ASSIGNMENTS_FROM_CONSTANTS,
                       * because the assignment is NOT to a constant.
                       */
    x = 4;
    return x;
}

int lang_struct_uuval_multipath(void){
    int i = rand();   /* 'Unused Value' warning issued here: this value is
                       * overwritten on both branches of the IF statement.
                       */
    int j = rand();                  /* ok: this value is used when k ≥ 5 */
    int k = rand();
    if (k < 5){
        i = k;
        j = 5;
    }
    else {
      i = 6;
    }
    return i + j;
}