Page Information

Title:	EXP30-C. Do not depend on the order of evaluation for side effects
Author:	Robert C. Seacord	Jun 17, 2006
Last Changed by:	Francesco Mariani	Aug 06, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/StYxBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (6)     Page: EXP45-C. Do not perform assignments in selection statements     Page: PRE00-C. Prefer inline or static functions to function-like macros     Page: DD. Unspecified Behavior     Page: CC. Undefined Behavior     Page: FIO41-C. Do not call getc(), putc(), getwc(), or putwc() with a stream argument that has side effects     Page: EXP10-C. Do not depend on the order of evaluation of subexpressions or the order in which side effects take place

SEI CERT Oracle Coding Standard for Java (1)     Page: EXP05-J. Do not follow a write by a subsequent write or read of the same object within an expression

SEI CERT C++ Coding Standard (1)     Page: EXP50-CPP. Do not depend on the order of evaluation for side effects

Parent Page     Page: Rule 03. Expressions (EXP)

• not-for-cpp
• gcc
• compass/rose
• splint
• coverity
• android-applicable
• ptc
• rose-partial
• order-of-op
• rule
• exp

Time	Editor
Aug 06, 2025 13:47	Francesco Mariani	View Changes
May 06, 2025 10:39	David Svoboda	View Changes
May 05, 2025 08:19	Caden Milne	View Changes
REM Cost Reform
Mar 04, 2025 15:16	Caden Milne	View Changes
Identify undefined behavior
Dec 11, 2024 00:33	Swasti Shrivastava

External Links (21)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcruleexp30…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://pvs-studio.com/en/docs/warnings/v567/
    https://pvs-studio.com/en/docs/warnings/v532/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://taas.trust-in-soft.com/tsnippet/t/17da0bf9
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/cplusplus/EXP50…
    https://wiki.sei.cmu.edu/confluence/display/c/Cppcheck
    cwe.mitre.org/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/java/EXP05-J.+D…
    https://www.misra.org.uk/Publications/tabid/57/Default.aspx…
    https://wiki.sei.cmu.edu/confluence/display/java/SEI+CERT+O…
    https://cwe.mitre.org/data/index.html758.html
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…

SEI CERT C Coding Standard (43)     Page: RuleChecker_V     Page: Clang_V     Page: Coverity_V     Page: Rose     Home page: SEI CERT C Coding Standard     Page: LDRA_V     Page: PC-lint Plus_V     Page: Clang     Page: CodeSonar     Page: Polyspace Bug Finder     Page: Splint_V     Page: Helix QAC     Page: GCC     Page: Security Reviewer - Static Reviewer     Page: Cppcheck_V     Page: PVS-Studio_V     Page: Parasoft_V     Page: Klocwork_V     Page: Astrée     Page: GCC_V     Page: Axivion Bauhaus Suite_V     Page: RuleChecker     Page: Klocwork     Page: Splint     Page: Parasoft     Page: CodeSonar_V     Page: Cppcheck Premium_V     Page: TrustInSoft Analyzer_V     Page: Astrée_V     Page: Security Reviewer - Static Reviewer_V     Page: ECLAIR     Page: LDRA     Page: AA. Bibliography     Page: Polyspace Bug Finder_V     Page: Cppcheck Premium     Page: PC-lint Plus     Page: Axivion Bauhaus Suite     Page: Coverity     Page: Helix QAC_V     Page: BB. Definitions     Page: CC. Undefined Behavior     Page: TrustInSoft Analyzer     Page: ECLAIR_V