#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
#include <assert.h>

void _print_string_and_newline(const char* s) {
    for(int i = 0; s[i] != '\0'; i++) {
        fputc(s[i], stdout);
    }
    fputc('\n', stdout);
}

// Conditional jumps include:  if, while, do, for, and switch

int main(int argc, char* argv[]) {
    // BAD CODE follows

    char s[4];
    s[0] = 'a';
    s[1] = 'r';
    s[2] = 't';
    // OOPS!!! forgot the '\0'  (s[3] = '\0';)

    _print_string_and_newline(s);

    /* Conditional jump or move depends on uninitialised value(s)
     * at 0x4005C4: _print_string_and_newline (conditional_jump_3.c:7)
     * by 0x400603: main (conditional_jump_3.c:22)
     */

    return EXIT_SUCCESS;
}
/* vim: set tabstop=4 shiftwidth=4 fileencoding=utf-8 noexpandtab: */