Skip to content

Adding SMP coverity example #1039

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 9 commits into from
Apr 19, 2024
Merged

Conversation

chinglee-iot
Copy link
Member

Adding SMP coverity example

Description

In this PR:

  • Add SMP coverity example. User can reference the ./examples/coverity/README.md to run coverity with SMP FreeRTOS.
  • Suppress MISRA C:2012 directive 4.7 by comment. The return value of taskENTER_CRITICAL_FROM_ISR() is the interrupt mask. No error information will be returned by this function and no need to perform a check.

Test Steps

Run coverity 2023.6.1 with the following command should shows no violations.
Single core

cmake -B build -S examples/coverity

SMP

cmake -B build -S examples/coverity -DFREERTOS_SMP_EXAMPLE=1

Checklist:

  • I have tested my changes. No regression in existing tests.
  • I have modified and/or added unit-tests to cover the code changes in this Pull Request.

Related Issue

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@chinglee-iot chinglee-iot marked this pull request as ready for review April 18, 2024 12:24
@chinglee-iot chinglee-iot requested a review from a team as a code owner April 18, 2024 12:24
kar-rahul-aws
kar-rahul-aws previously approved these changes Apr 18, 2024
Copy link

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
No data about Coverage
0.0% Duplication on New Code

See analysis details on SonarCloud

@kar-rahul-aws kar-rahul-aws merged commit fdf4695 into FreeRTOS:main Apr 19, 2024
16 checks passed
@aggarg aggarg deleted the fix-misra-smp branch April 19, 2024 04:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants