Searched refs:is_stack (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/
H A Dstack_logic.py353 def is_stack (expr): function
360 if expr.is_op ('MemAcc') and is_stack (expr.vals[0]):
409 assert is_stack (expr), expr
421 assert is_stack (m), expr
444 args = [arg for arg in cc['args'] if not is_stack (arg)]
446 rets = [ret for ret in cc['rets_inp'] if not is_stack (ret)]

Completed in 31 milliseconds