Re: Sequence of sequence, selection and iteration matters -- Professor Hehner

On 7/15/2024 2:25 AM, Mikko wrote:

On 2024-07-14 15:02:33 +0000, olcott said:
 

Going to the assembly language level provides a directed
graph of control flow.

 So does the C level.
 

A directed graph only uses jmps from one specific
machine address to another. This a node and a path
to another node. The C level has no jmps and no
machine addresses.

It also shows the final state that
is not shown at the C level.

 How is that different from the final state that is shown at the C level?
 

void DDD()
{
   HHH(DDD);
}
The C level conflates all of these instructions together
as if there was only one instruction. There is no final
state at C level.
_DDD()
[00002163] 55         push ebp      ; housekeeping
[00002164] 8bec       mov ebp,esp   ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer