C++: Add an upgrade script

cpp/upgrades/025827d85c3f44a7fd52d4fad636e9a4141f12dd/static_asserts.ql

@@ -0,0 +1,21 @@
+class StaticAssert extends @static_assert {
+  string toString() { none() }
+}
+
+class Expr extends @expr {
+  string toString() { none() }
+}
+
+class Location extends @location_default {
+  string toString() { none() }
+}
+
+class NameSpace extends @namespace {
+  string toString() { none() }
+}
+
+from StaticAssert sa, Expr condition, string message, Location loc, NameSpace ns
+where
+  static_asserts(sa, condition, message, loc) and
+  namespaces(ns, "")
+select sa, condition, message, loc, ns

cpp/upgrades/025827d85c3f44a7fd52d4fad636e9a4141f12dd/upgrade.properties

@@ -0,0 +1,4 @@
+description: Give static_assert's an enclosing element
+compatibility: partial
+static_asserts.rel: run static_asserts.qlo
+