<!DOCTYPE html>
<html>
<head>
<title>Semantic constant folding</title>
<meta http-equiv = "refresh" content = "0; url=/fc-plugins/semantic-constant-folding.html" />
<link rel="canonical" href="https://www.frama-c.com/fc-plugins/semantic-constant-folding.html" />
<meta description = "Makes use of the results of the EVA plug-in to replace, in the source code, the constant expressions by their values." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/fc-plugins/semantic-constant-folding.html">Semantic Constant Folding</a></p>
</body>
</html>