QP Real-Time Event Frameworks & Tools / Bugs / #384 Wrong assertion in qep

#384 Wrong assertion in qep_hsm.

Milestone: QP

Status: closed

Owner: Quantum Leaps

Labels: None

Priority: 1

Updated: 2026-02-24

Created: 2025-05-08

Creator: Anonymous

Private: No

With QP/C version 8.0.2, an assertion in qep_hsm.c has been wrongly modified. It is the one on line 498 (v8.0.3): Q_INVARIANT_INCRIT(711, ip < (QHSM_MAX_NEST_DEPTH_ - 1)).
The variable ip can have the value of (QHSM_MAX_NEST_DEPTH_ - 1) after the while-loop. Therefore, the correct assertion is as follows: Q_INVARIANT_INCRIT(711, ip < QHSM_MAX_NEST_DEPTH_). This is for example correctly done on line 605 (v8.0.3).

Discussion

Quantum Leaps - 2025-05-09

Thank you for reporting. This will be investigated.
--MMS

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
- Anonymous
  
  Add attachments
  Cancel
  You seem to have CSS turned off. Please don't fill out this field.
  
  You seem to have CSS turned off. Please don't fill out this field.

Quantum Leaps - 2026-02-24

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
- Anonymous
  
  Add attachments
  Cancel
  You seem to have CSS turned off. Please don't fill out this field.
  
  You seem to have CSS turned off. Please don't fill out this field.

Quantum Leaps - 2026-02-24

Fixed in QP/C/C++ 8.1.2, where ascrutinizedll assertions have been scruitinized and tested (100% MC/DC).
--MMS

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
- Anonymous
  
  Add attachments
  Cancel
  You seem to have CSS turned off. Please don't fill out this field.
  
  You seem to have CSS turned off. Please don't fill out this field.

Anonymous

Wrong assertion in qep_hsm.

Real-Time Event Frameworks based on active objects & state machines

Group

Searches

Help

#384 Wrong assertion in qep_hsm.

Discussion