Doall detection can be broken by goto's

[lukasrothenberger]

It is possible to construct cases using goto's for which the suggested Do-All pragma is not correct.
The dependency analysis works as expected.

Example code:

 * This file is part of the DiscoPoP software (http://www.discopop.tu-darmstadt.de)
 *
 * Copyright (c) 2020, Technische Universitaet Darmstadt, Germany
 *
 * This software may be modified and distributed under the terms of
 * the 3-Clause BSD License. See the LICENSE file in the package base
 * directory for details.
 *
 */

#include <stdio.h>

int main( void)
{
    int Arr[100];
    int initialized = 0;
    int i = 0;
    void* return_to_loop = NULL;
    void* something_weird = NULL;

before_loop:

    if(initialized)
    {
        printf("INITIALIZED\n");
        for (i=0; i<100; i++) {
            Arr[i] = i;

            goto do_not_break_doall;
            return_to_loop_1:

            goto break_doall;
            return_to_loop_2:

            printf("End of loop body.\n");
        }
        printf("exited loop\n");
        goto after_loop;
    }
    else{
        goto initialization;
    }

do_not_break_doall:
    printf("Only Reading: Arr[%d]=%d\n", i, Arr[i]);
    goto return_to_loop_1;

break_doall:
    Arr[(i+3)%100] = Arr[42] - Arr[i] + 2;
    printf("Breaking Do-All!\n");
    goto return_to_loop_2;

initialization:
    printf("INIT\n");
    initialized = 1;
    something_weird = &&break_doall;
    goto before_loop;


after_loop:
    return 0;
}