Hi, I’m using C for the first time to solve a challenge and after some days I’m still stuck with some Splint warnings. I think I’ve managed to solve most of them but I don’t know what can I do in this case.
I’m trying to use modifications (i.e. /*@modifies x@/) to indicate which parameter will be modified by each function, as Splint asks for. In order to use those modifications, I added the parameter names in the functions declaration. However, this produces another error: Declaration parameter has name.
What do you understand or find about that problem
I understand that I’m missing something about how to use Splint modifications.
You make any workaround? What did you do?
I’ve been reading the Splint documentation and searching for similar problems, but I still cannot get a way to solve the problem.
I need help with
I don’t know how to specify which parameter is going to be modified without using the parameter names at the function declaration. How should I use the @modifies annotation in this case?
And if you have any other advice in order to pass the Splint warnings, I will appreciate it.