Fixes for overflow issues

[nguyenthanhvuh]

• programs added to new and appropriately named directory

• license present and acceptable (either in separate file or as comment at beginning of program)

• contributed-by present (either in README file or as comment at beginning of program)

• programs added to a .set file of an existing category, or new sub-category established (if justified)

• intended property matches the corresponding .prp file

• programs and expected answer added to a .yml file according to task definitions

• architecture (32 bit vs. 64 bit) matches the corresponding .cfg file
• original sources present
• preprocessed files present
• preprocessed files generated with correct architecture
• Makefile added with correct content and without overly broad suppression of warnings

[nguyenthanhvuh]

Fixes for integer overflow issues mentioned in #813

@timosantonopoulos

[dbeyer]

@nguyenthanhvuh Did you see the CI results? Please ask if you need help / have questions.

[nguyenthanhvuh]

@dbeyer yep, working on it

[nguyenthanhvuh]

@dbeyer I've made some changes to fix the errors given by the previous CI build. But now the CI build has a timeout problem that I am not sure how to proceed. Could you help?

[kfriedberger]

Including limits.h requires to add the preprocessed .i-files.
Please execute some comand like cpp -m32 -P FILE.c > FILE.i and add the new .i-files.
Additionally change the yml-files to reference the .i-files.
This should only be done for files that use macros, e.g. include statements.

UPDATE: directly done on my own.

Related topic: Why did the CI-check not detect this?

[kfriedberger]

The changes replace several signed ints with overflow-safe unsinged ints and add limitation on the rnage of possible values. The changes seem to be valid.
I did a small change on top of the existing changes to avoid unneeded header-includes and I added the preprocessed files where required.

@dbeyer you can merge this PR, as soon as the CI passes.

[dbeyer]

Thanks a lot!

[nguyenthanhvuh]

@kfriedberger @dbeyer thank you.

[MartinSpiessl]

Sorry, I must have missed this PR. One could have added the overflow verdict true to the fixed yml files, and kept the faulty versions as overflow tasks with a false verdict. Also, this does not fix the overflows completely (not even all the files with overflows have been changed), cf. #813.
If this was a work in progress I would suggest to add WIP: to the PR title, this way it does not get merged that fast by @dbeyer 😉.