lower_longjmp.h

Go to the documentation of this file.

#pragma once
 
class goto_functionst;
class contextt;
class optionst;

void lower_longjmp(
  goto_functionst &goto_functions,
  contextt &context,
  const optionst &options);