MISRA C:2012 Rule 22.3
The same file shall not be open for read and write access at the same time on different streams
Description
Rule Definition
The same file shall not be open for read and write access at the same time on different streams1 .
Rationale
If a file is both written and read via different streams, the behavior can be undefined.
Polyspace Implementation
You can check for this rule with a Bug Finder analysis only.
Troubleshooting
If you expect a rule violation but do not see it, refer to Diagnose Why Coding Standard Violations Do Not Appear as Expected.
Examples
Check Information
Group: Resources |
Category: Required |
AGC Category: Required |
Version History
Introduced in R2015b
1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.
The MISRA coding standards referenced in the Polyspace® Bug Finder™ documentation are from the following MISRA standards:
MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023
MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.