C++ overlays: Tweak the dbscheme tables; adds source_file_name

cpp/downgrades/40e7e591693a6f63fb4c32f12e1c5b2456c6f174/source_file_uses_trap.ql

@@ -0,0 +1,7 @@
+class Trap extends @trap {
+  string toString() { none() }
+}
+
+from string source_file, Trap trap
+where none()
+select source_file, trap

cpp/downgrades/40e7e591693a6f63fb4c32f12e1c5b2456c6f174/upgrade.properties

@@ -0,0 +1,4 @@
+description: Add source_file_name
+compatibility: backwards
+source_file_uses_trap.rel: run source_file_uses_trap.qlo
+source_file_name.rel: delete

cpp/ql/lib/semmlecode.cpp.dbscheme

@@ -245,14 +245,22 @@ trap_filename(
     string filename: string ref
 );
 
+/**
+ * Gives the name for the source file.
+ */
+source_file_name(
+    int sf: @source_file,
+    string name: string ref
+);
+
 /**
  * In `build-mode: none` overlay mode, indicates that `source_file`
  * (`/path/to/foo.c`) uses the TRAP file `trap_file`; i.e. it is the
  * TRAP file corresponding to `foo.c`, something it transitively
  * includes, or a template instantiation it transitively uses.
  */
 source_file_uses_trap(
-    string source_file: string ref,
+    int source_file: @source_file ref,
     int trap_file: @trap ref
 );