CPP: Add '/' case.

geoffw0 · geoffw0 · commit 5e71207a23f1 · 2019-04-04T14:32:22.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/File.qll b/cpp/ql/src/semmle/code/cpp/File.qll
@@ -313,6 +313,8 @@ class File extends Container, @file {
       getAbsolutePath().charAt(1) = ":"
       	// this is not ideal, it detects compilation on a Windows file system
       	// as a heuristic approximation to compilation with a Microsoft compiler.
+    ) or (
+      getAbsolutePath().charAt(1) = "/"
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -313,6 +313,8 @@ class File extends Container, @file {`
`313`	`313`	`getAbsolutePath().charAt(1) = ":"`
`314`	`314`	`// this is not ideal, it detects compilation on a Windows file system`
`315`	`315`	`// as a heuristic approximation to compilation with a Microsoft compiler.`
	`316`	`+ ) or (`
	`317`	`+ getAbsolutePath().charAt(1) = "/"`
`316`	`318`	`)`
`317`	`319`	`}`
`318`	`320`