X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=testub10.git;a=blobdiff_plain;f=gesamt%2Fcodea_mrstrcmp_12.call;fp=gesamt%2Fcodea_mrstrcmp_12.call;h=ff29661823a83da456835f6b08b9b328eca74f68;hp=0000000000000000000000000000000000000000;hb=029401d51612c5e69d7ac8603e1b69cd7ed6ef96;hpb=bf19094ac2573112418701ba4c6abf5779e3a9f7

diff --git a/gesamt/codea_mrstrcmp_12.call b/gesamt/codea_mrstrcmp_12.call
new file mode 100644
index 0000000..ff29661
--- /dev/null
+++ b/gesamt/codea_mrstrcmp_12.call
@@ -0,0 +1,5 @@
+long f(long, long, long);
+
+RET(f(0, 10, 20) == (10 - (10 - 20) - 20) &&
+    f(0, 40, 20) == (40 - (10 - 20) - 20) &&
+    f(0,  0, 30) == ( 0 - (10 - 30) - 20));