X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=testub10.git;a=blobdiff_plain;f=gesamt%2Fcodea_intelli_08.call;fp=gesamt%2Fcodea_intelli_08.call;h=2153dc349831ecb33b581124dbed62a751feb06c;hp=0000000000000000000000000000000000000000;hb=029401d51612c5e69d7ac8603e1b69cd7ed6ef96;hpb=bf19094ac2573112418701ba4c6abf5779e3a9f7 diff --git a/gesamt/codea_intelli_08.call b/gesamt/codea_intelli_08.call new file mode 100644 index 0000000..2153dc3 --- /dev/null +++ b/gesamt/codea_intelli_08.call @@ -0,0 +1,8 @@ +extern long long f(long long*, long long*); + +long long ar[10]; +int i = 1; +for(; i <= 10; i++) + ar[i-1] = i; + +RET(f(ar, ar) == -2);