Although certain control flow statements, such as for loops, do not display this characteristic, there is typically a single comparison or jump instruction that performs the important function of the statement. This will be referred to as the representative instruction.
It will not be possible to
set ``conjunctive'' conditional breakpoints in AP sections. This is
because, due to the lack of inter-thread communication in these
sections (since communication is not legal in shattered control flow,
nor is explicit reference to parallel arrays permitted in promoted
functions), the virtual time of any such breakpoint necessarily
belongs to the ``unordered-SCP'' set defined by Miller and Choi (see
Section ), and is inherently un-detectable.