Added support for _Atomic variable

[leventeBajczi]

No description provided.

[sonarcloud]

Quality Gate failed

Failed conditions
48.8% Coverage on New Code (required ≥ 60%)
10.0% Duplication on New Code (required ≤ 5%)

See analysis details on SonarCloud

[github-actions]

Benchexec test report for a selection of SV-Benchmarks (correct / incorrect / all):

Rundefinition	BOUNDED	CEGAR	HORN
SV-COMP25_no-data-race	❓ (0 / 0 / 446) HTML/CSV	❗ (60 / 4 / 130) HTML/CSV	❓ (0 / 0 / 444) HTML/CSV
SV-COMP25_no-overflow	❓ (0 / 0 / 32) HTML/CSV	❓ (0 / 0 / 32) HTML/CSV	❓ (0 / 0 / 32) HTML/CSV
SV-COMP25_termination	✅ (8 / 0 / 55) HTML/CSV	✅ (3 / 0 / 57) HTML/CSV	✅ (12 / 0 / 57) HTML/CSV
SV-COMP25_unreach-call	✅ (10 / 0 / 213) HTML/CSV	❗ (13 / 2 / 136) HTML/CSV	❗ (13 / 1 / 217) HTML/CSV
SV-COMP25_valid-memcleanup	❓ (0 / 0 / 65) HTML/CSV	❓ (0 / 0 / 65) HTML/CSV	❓ (0 / 0 / 65) HTML/CSV
SV-COMP25_valid-memsafety	❗ (0 / 2 / 438) HTML/CSV	❗ (36 / 3 / 343) HTML/CSV	❗ (4 / 1 / 430) HTML/CSV