<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Analysis on ./Code</title><link>https://blog.ouankou.com/tags/analysis/</link><description>Recent content in Analysis on ./Code</description><generator>Hugo</generator><language>en-US</language><copyright>© Anjia Wang</copyright><lastBuildDate>Thu, 16 Apr 2026 09:05:24 -0700</lastBuildDate><atom:link href="https://blog.ouankou.com/tags/analysis/index.xml" rel="self" type="application/rss+xml"/><item><title>How REX Validates OpenMP Semantic Analysis With `checkOmpAnalyzing`</title><link>https://blog.ouankou.com/2026/04/04/how-rex-validates-openmp-semantic-analysis-with-checkompanalyzing/</link><pubDate>Sat, 04 Apr 2026 00:00:00 +0000</pubDate><guid>https://blog.ouankou.com/2026/04/04/how-rex-validates-openmp-semantic-analysis-with-checkompanalyzing/</guid><description>&lt;p&gt;The previous post in this series covered the broad &lt;code&gt;OpenMP_tests&lt;/code&gt; frontend corpus: &lt;code&gt;parseOmp&lt;/code&gt; in &lt;code&gt;ast_only&lt;/code&gt; mode, hundreds of C and C++ cases, a mixed OpenMP/OpenACC slice, and a separate Fortran slice, all aimed at one question:&lt;/p&gt;
&lt;blockquote&gt;
&lt;p&gt;can the frontend build and unparse OpenMP ASTs correctly across a large corpus?&lt;/p&gt;
&lt;/blockquote&gt;
&lt;p&gt;That still leaves a gap.&lt;/p&gt;
&lt;p&gt;Some OpenMP regressions are too semantic for an AST-only text diff to catch cleanly, but they are still much earlier than lowering.&lt;/p&gt;</description></item></channel></rss>