Commit 42d78536 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

[ioccc] fix signature in annotation

parent f939f27c
Pipeline #34627 passed with stage
in 72 minutes and 49 seconds
...@@ -61,8 +61,7 @@ void s(void) ...@@ -61,8 +61,7 @@ void s(void)
return; return;
} }
/*@ assigns \result; /*@ assigns \nothing; */
assigns \result \from \nothing; */
void m(int p_0, int q_0) void m(int p_0, int q_0)
{ {
_ d_0 = (p_0 + q_0) / 2; _ d_0 = (p_0 + q_0) / 2;
......
//@ assigns \result \from \nothing; //@ assigns \nothing; //unsound
int m(int, int); void m(int, int);
#include<stdio.h> #include<stdio.h>
#/* [bbde3cf3]*/include<stdlib.h> #/* [bbde3cf3]*/include<stdlib.h>
# define D(o,l,I)/*( C ) 2 0 1 9 */o##l##I/* # define D(o,l,I)/*( C ) 2 0 1 9 */o##l##I/*
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment