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:	Caden Milne	Oct 22, 2024
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/StYxBQ
Export As:	Word · PDF

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

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 (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

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
Oct 22, 2024 09:43	Caden Milne	View Changes
Updated references from C11->C23
Oct 08, 2024 10:29	Swasti Shrivastava	View Changes
Oct 09, 2023 14:25	Jill Britton	View Changes
Apr 20, 2023 05:07	Jill Britton	View Changes
May 19, 2022 10:11	Jon O'Donnell

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 (41)     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: 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: 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