Skip to content

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
@sonarqubecloud
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
@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