C++: make files/folders instances of location

Author: aibaars

cpp/ql/lib/semmle/code/cpp/Location.qll

@@ -53,9 +53,21 @@ class Location extends @location {
   predicate fullLocationInfo(
     Container container, int startline, int startcolumn, int endline, int endcolumn
   ) {
-    locations_default(this, unresolveElement(container), startline, startcolumn, endline, endcolumn) or
-    locations_expr(this, unresolveElement(container), startline, startcolumn, endline, endcolumn) or
+    locations_default(this, unresolveElement(container), startline, startcolumn, endline, endcolumn)
+    or
+    locations_expr(this, unresolveElement(container), startline, startcolumn, endline, endcolumn)
+    or
     locations_stmt(this, unresolveElement(container), startline, startcolumn, endline, endcolumn)
+    or
+    exists(@container c, string name | files(c, name) or folders(c, name) |
+      name != "" and
+      container = c and
+      this = c and
+      startline = 0 and
+      startcolumn = 0 and
+      endline = 0 and
+      endcolumn = 0
+    )
   }
 
   /**

cpp/ql/lib/semmlecode.cpp.dbscheme

@@ -224,7 +224,7 @@ header_to_external_package(
     int package : @external_package ref
 );
 
-@location = @location_stmt | @location_expr | @location_default ;
+@location = @location_stmt | @location_expr | @location_default | @container;
 
 /**
  * The location of a statement.