Fix macOS CI compile failure by explicitly including SVFGBuilder header

[Copilot]

The build (macos-latest) GitHub Actions job failed in build-svf-from-scratch with unknown type name 'SVFGBuilder'. The source used SVFGBuilder without including its declaring header, which was masked by transitive includes on other environments.

• Build break root cause

  • src/svf-example.cpp instantiated SVFGBuilder but only included Graphs/SVFG.h, not the builder declaration.

• Targeted code change

  • Added explicit include for SVFGBuilder:
    • #include "MSSA/SVFGBuilder.h"

• Why this matters

  • Removes reliance on transitive include behavior and makes compilation deterministic across toolchains/platforms (including macOS).

#include "Graphs/SVFG.h"
#include "MSSA/SVFGBuilder.h"

[Copilot]

Pull request overview

This PR fixes a macOS CI compilation failure by making SVFGBuilder’s declaration available via an explicit header include, avoiding reliance on transitive includes that differ across toolchains/platforms.

Changes:

• Added #include "MSSA/SVFGBuilder.h" to src/svf-example.cpp to ensure SVFGBuilder is declared where it’s used.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.