AutosarC++17_03-M6.4.3¶
A switch statement shall be a well-formed switch statement
Required inputs: IR
Note
For legal reasons, this rule’s description is not part of the public documentation.
Axivion Suite 7.12.0
Navigation
- 1. Introduction
- 2. Project Configuration
- 3. Supported Languages
- 4. Analyses Guide
- 5. User Interface
- 6. Reference
- 6.1. Project Configuration Reference
- 6.2. Analysis Configuration Reference
- 6.2.1. Global Options
- 6.2.2. Common Options
- 6.2.3. Option Types
- 6.2.4. AnalysisControl
- 6.2.5. Architecture
- 6.2.6. CloneDetections
- 6.2.7. CycleDetection
- 6.2.8. DeadCodeDetection
- 6.2.9. ImportAnalysisResults
- 6.2.10. ImportExternalAnalysisOutput
- 6.2.11. Metrics
- 6.2.12. Stylechecks
- 6.2.12.1. AutosarC++
- AutosarC++17_03
- AutosarC++17_03-A0.1.1
- AutosarC++17_03-A0.1.2
- AutosarC++17_03-A0.1.3
- AutosarC++17_03-A0.4.2
- AutosarC++17_03-A1.1.1
- AutosarC++17_03-A2.2.1
- AutosarC++17_03-A2.5.1
- AutosarC++17_03-A2.6.1
- AutosarC++17_03-A2.8.1
- AutosarC++17_03-A2.8.2
- AutosarC++17_03-A2.8.3
- AutosarC++17_03-A2.8.4
- AutosarC++17_03-A2.9.1
- AutosarC++17_03-A2.11.1
- AutosarC++17_03-A2.11.2
- AutosarC++17_03-A2.11.3
- AutosarC++17_03-A2.11.4
- AutosarC++17_03-A2.11.5
- AutosarC++17_03-A2.14.1
- AutosarC++17_03-A2.14.2
- AutosarC++17_03-A2.14.3
- AutosarC++17_03-A3.1.1
- AutosarC++17_03-A3.1.2
- AutosarC++17_03-A3.1.3
- AutosarC++17_03-A3.1.4
- AutosarC++17_03-A3.3.1
- AutosarC++17_03-A3.3.2
- AutosarC++17_03-A3.9.1
- AutosarC++17_03-A4.5.1
- AutosarC++17_03-A4.7.1
- AutosarC++17_03-A4.10.1
- AutosarC++17_03-A5.0.1
- AutosarC++17_03-A5.0.2
- AutosarC++17_03-A5.0.3
- AutosarC++17_03-A5.1.1
- AutosarC++17_03-A5.1.2
- AutosarC++17_03-A5.1.3
- AutosarC++17_03-A5.1.4
- AutosarC++17_03-A5.1.5
- AutosarC++17_03-A5.1.6
- AutosarC++17_03-A5.1.7
- AutosarC++17_03-A5.1.8
- AutosarC++17_03-A5.2.1
- AutosarC++17_03-A5.2.2
- AutosarC++17_03-A5.2.3
- AutosarC++17_03-A5.2.4
- AutosarC++17_03-A5.2.5
- AutosarC++17_03-A5.3.1
- AutosarC++17_03-A5.5.1
- AutosarC++17_03-A5.10.1
- AutosarC++17_03-A5.16.1
- AutosarC++17_03-A6.4.1
- AutosarC++17_03-A6.5.1
- AutosarC++17_03-A6.5.2
- AutosarC++17_03-A6.6.1
- AutosarC++17_03-A7.1.1
- AutosarC++17_03-A7.1.3
- AutosarC++17_03-A7.1.4
- AutosarC++17_03-A7.1.5
- AutosarC++17_03-A7.1.6
- AutosarC++17_03-A7.1.7
- AutosarC++17_03-A7.1.8
- AutosarC++17_03-A7.2.1
- AutosarC++17_03-A7.2.2
- AutosarC++17_03-A7.2.3
- AutosarC++17_03-A7.2.4
- AutosarC++17_03-A7.4.1
- AutosarC++17_03-A7.5.1
- AutosarC++17_03-A7.5.2
- AutosarC++17_03-A8.2.1
- AutosarC++17_03-A8.4.1
- AutosarC++17_03-A8.4.2
- AutosarC++17_03-A8.5.1
- AutosarC++17_03-A8.5.2
- AutosarC++17_03-A8.5.3
- AutosarC++17_03-A8.5.4
- AutosarC++17_03-A9.6.1
- AutosarC++17_03-A10.1.1
- AutosarC++17_03-A10.2.1
- AutosarC++17_03-A10.3.1
- AutosarC++17_03-A10.3.2
- AutosarC++17_03-A10.3.3
- AutosarC++17_03-A10.3.5
- AutosarC++17_03-A11.0.1
- AutosarC++17_03-A11.0.2
- AutosarC++17_03-A11.3.1
- AutosarC++17_03-A12.0.1
- AutosarC++17_03-A12.1.1
- AutosarC++17_03-A12.1.2
- AutosarC++17_03-A12.1.3
- AutosarC++17_03-A12.1.4
- AutosarC++17_03-A12.4.1
- AutosarC++17_03-A12.4.2
- AutosarC++17_03-A12.6.1
- AutosarC++17_03-A12.8.1
- AutosarC++17_03-A12.8.2
- AutosarC++17_03-A12.8.3
- AutosarC++17_03-A12.8.4
- AutosarC++17_03-A12.8.5
- AutosarC++17_03-A12.8.6
- AutosarC++17_03-A12.8.7
- AutosarC++17_03-A13.1.1
- AutosarC++17_03-A13.1.2
- AutosarC++17_03-A13.1.3
- AutosarC++17_03-A13.2.1
- AutosarC++17_03-A13.2.2
- AutosarC++17_03-A13.2.3
- AutosarC++17_03-A13.3.1
- AutosarC++17_03-A13.5.1
- AutosarC++17_03-A13.6.1
- AutosarC++17_03-A14.7.1
- AutosarC++17_03-A15.1.1
- AutosarC++17_03-A15.1.2
- AutosarC++17_03-A15.1.3
- AutosarC++17_03-A15.2.1
- AutosarC++17_03-A15.3.1
- AutosarC++17_03-A15.3.3
- AutosarC++17_03-A15.3.4
- AutosarC++17_03-A15.3.5
- AutosarC++17_03-A15.4.1
- AutosarC++17_03-A15.4.2
- AutosarC++17_03-A15.4.3
- AutosarC++17_03-A15.4.4
- AutosarC++17_03-A15.4.5
- AutosarC++17_03-A15.4.6
- AutosarC++17_03-A15.5.1
- AutosarC++17_03-A15.5.2
- AutosarC++17_03-A15.5.3
- AutosarC++17_03-A16.0.1
- AutosarC++17_03-A16.2.1
- AutosarC++17_03-A16.2.2
- AutosarC++17_03-A16.2.3
- AutosarC++17_03-A16.6.1
- AutosarC++17_03-A16.7.1
- AutosarC++17_03-A17.0.1
- AutosarC++17_03-A18.0.1
- AutosarC++17_03-A18.0.2
- AutosarC++17_03-A18.0.3
- AutosarC++17_03-A18.1.1
- AutosarC++17_03-A18.1.2
- AutosarC++17_03-A18.1.3
- AutosarC++17_03-A18.1.4
- AutosarC++17_03-A18.1.5
- AutosarC++17_03-A18.5.1
- AutosarC++17_03-A18.5.2
- AutosarC++17_03-A18.5.3
- AutosarC++17_03-A18.5.4
- AutosarC++17_03-A18.9.1
- AutosarC++17_03-A18.9.2
- AutosarC++17_03-A18.9.3
- AutosarC++17_03-A23.0.1
- AutosarC++17_03-M0.1.1
- AutosarC++17_03-M0.1.2
- AutosarC++17_03-M0.1.3
- AutosarC++17_03-M0.1.4
- AutosarC++17_03-M0.1.5
- AutosarC++17_03-M0.1.8
- AutosarC++17_03-M0.1.9
- AutosarC++17_03-M0.1.10
- AutosarC++17_03-M0.2.1
- AutosarC++17_03-M0.3.1
- AutosarC++17_03-M0.3.2
- AutosarC++17_03-M0.4.2
- AutosarC++17_03-M2.10.1
- AutosarC++17_03-M2.10.3
- AutosarC++17_03-M2.10.6
- AutosarC++17_03-M2.13.2
- AutosarC++17_03-M2.13.3
- AutosarC++17_03-M2.13.4
- AutosarC++17_03-M3.1.2
- AutosarC++17_03-M3.2.1
- AutosarC++17_03-M3.2.2
- AutosarC++17_03-M3.2.3
- AutosarC++17_03-M3.2.4
- AutosarC++17_03-M3.3.2
- AutosarC++17_03-M3.4.1
- AutosarC++17_03-M3.9.1
- AutosarC++17_03-M3.9.3
- AutosarC++17_03-M4.5.1
- AutosarC++17_03-M4.5.3
- AutosarC++17_03-M4.10.1
- AutosarC++17_03-M4.10.2
- AutosarC++17_03-M5.0.2
- AutosarC++17_03-M5.0.3
- AutosarC++17_03-M5.0.4
- AutosarC++17_03-M5.0.5
- AutosarC++17_03-M5.0.6
- AutosarC++17_03-M5.0.7
- AutosarC++17_03-M5.0.8
- AutosarC++17_03-M5.0.9
- AutosarC++17_03-M5.0.10
- AutosarC++17_03-M5.0.11
- AutosarC++17_03-M5.0.12
- AutosarC++17_03-M5.0.14
- AutosarC++17_03-M5.0.15
- AutosarC++17_03-M5.0.16
- AutosarC++17_03-M5.0.17
- AutosarC++17_03-M5.0.18
- AutosarC++17_03-M5.0.20
- AutosarC++17_03-M5.0.21
- AutosarC++17_03-M5.2.1
- AutosarC++17_03-M5.2.2
- AutosarC++17_03-M5.2.3
- AutosarC++17_03-M5.2.6
- AutosarC++17_03-M5.2.8
- AutosarC++17_03-M5.2.9
- AutosarC++17_03-M5.2.10
- AutosarC++17_03-M5.2.11
- AutosarC++17_03-M5.2.12
- AutosarC++17_03-M5.3.1
- AutosarC++17_03-M5.3.2
- AutosarC++17_03-M5.3.3
- AutosarC++17_03-M5.3.4
- AutosarC++17_03-M5.8.1
- AutosarC++17_03-M5.14.1
- AutosarC++17_03-M5.17.1
- AutosarC++17_03-M5.18.1
- AutosarC++17_03-M5.19.1
- AutosarC++17_03-M6.2.1
- AutosarC++17_03-M6.2.2
- AutosarC++17_03-M6.2.3
- AutosarC++17_03-M6.3.1
- AutosarC++17_03-M6.4.1
- AutosarC++17_03-M6.4.2
- AutosarC++17_03-M6.4.3
- AutosarC++17_03-M6.4.4
- AutosarC++17_03-M6.4.5
- AutosarC++17_03-M6.4.6
- AutosarC++17_03-M6.4.7
- AutosarC++17_03-M6.5.2
- AutosarC++17_03-M6.5.3
- AutosarC++17_03-M6.5.4
- AutosarC++17_03-M6.5.5
- AutosarC++17_03-M6.5.6
- AutosarC++17_03-M6.6.1
- AutosarC++17_03-M6.6.2
- AutosarC++17_03-M6.6.3
- AutosarC++17_03-M7.1.2
- AutosarC++17_03-M7.3.1
- AutosarC++17_03-M7.3.2
- AutosarC++17_03-M7.3.3
- AutosarC++17_03-M7.3.4
- AutosarC++17_03-M7.3.5
- AutosarC++17_03-M7.3.6
- AutosarC++17_03-M7.4.1
- AutosarC++17_03-M7.4.2
- AutosarC++17_03-M7.4.3
- AutosarC++17_03-M7.5.1
- AutosarC++17_03-M7.5.2
- AutosarC++17_03-M8.0.1
- AutosarC++17_03-M8.3.1
- AutosarC++17_03-M8.4.2
- AutosarC++17_03-M8.4.4
- AutosarC++17_03-M8.5.1
- AutosarC++17_03-M8.5.2
- AutosarC++17_03-M9.3.1
- AutosarC++17_03-M9.3.3
- AutosarC++17_03-M9.6.1
- AutosarC++17_03-M10.1.1
- AutosarC++17_03-M10.1.2
- AutosarC++17_03-M10.1.3
- AutosarC++17_03-M10.2.1
- AutosarC++17_03-M10.3.3
- AutosarC++17_03-M11.0.1
- AutosarC++17_03-M12.1.1
- AutosarC++17_03-M14.5.2
- AutosarC++17_03-M14.5.3
- AutosarC++17_03-M14.6.1
- AutosarC++17_03-M14.7.3
- AutosarC++17_03-M14.8.1
- AutosarC++17_03-M15.0.3
- AutosarC++17_03-M15.1.1
- AutosarC++17_03-M15.1.2
- AutosarC++17_03-M15.1.3
- AutosarC++17_03-M15.3.1
- AutosarC++17_03-M15.3.3
- AutosarC++17_03-M15.3.4
- AutosarC++17_03-M15.3.6
- AutosarC++17_03-M15.3.7
- AutosarC++17_03-M16.0.1
- AutosarC++17_03-M16.0.2
- AutosarC++17_03-M16.0.5
- AutosarC++17_03-M16.0.6
- AutosarC++17_03-M16.0.7
- AutosarC++17_03-M16.0.8
- AutosarC++17_03-M16.1.1
- AutosarC++17_03-M16.1.2
- AutosarC++17_03-M16.2.3
- AutosarC++17_03-M16.3.1
- AutosarC++17_03-M16.3.2
- AutosarC++17_03-M17.0.2
- AutosarC++17_03-M17.0.3
- AutosarC++17_03-M17.0.5
- AutosarC++17_03-M18.0.3
- AutosarC++17_03-M18.0.4
- AutosarC++17_03-M18.0.5
- AutosarC++17_03-M18.2.1
- AutosarC++17_03-M18.7.1
- AutosarC++17_03-M19.3.1
- AutosarC++17_03-M27.0.1
- AutosarC++17_10
- AutosarC++18_03
- AutosarC++18_10
- AutosarC++19_03
- AutosarC++17_03
- 6.2.12.2. C#
- 6.2.12.3. CQM
- 6.2.12.4. CUDA
- 6.2.12.5. CWE
- 6.2.12.6. Cert
- 6.2.12.7. CodingStyle
- 6.2.12.8. CompilerErrata
- 6.2.12.9. FaultDetection
- 6.2.12.10. GeneralPurpose
- 6.2.12.11. Miscellaneous
- 6.2.12.12. Misra
- 6.2.12.13. Qt
- 6.2.12.14. Rust
- 6.2.12.15. SecureCoding
- 6.2.12.16. Options
- 6.2.12.1. AutosarC++
- 6.3. Results Configuration Reference
- 6.4. Tool Reference
- 6.5. Language Schema
- 7. Customization API
- 8. HOWTOs
- 9. Legal