JS: Implement getBasicBlock() for exceptional nodes

Author: asger-semmle

javascript/ql/src/semmle/javascript/dataflow/DataFlow.qll

@@ -788,6 +788,10 @@ module DataFlow {
       function.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
     }
 
+    override BasicBlock getBasicBlock() {
+      result = function.(ExprOrStmt).getBasicBlock()
+    }
+
     /**
      * Gets the function corresponding to this exceptional return node.
      */
@@ -810,6 +814,10 @@ module DataFlow {
       invoke.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
     }
 
+    override BasicBlock getBasicBlock() {
+      result = invoke.getBasicBlock()
+    }
+
     /**
      * Gets the invocation corresponding to this exceptional return node.
      */

javascript/ql/test/library-tests/DataFlow/noBasicBlock.expected

@@ -0,0 +1,3 @@
+| tst.js:1:10:1:11 | fs |
+| tst.js:1:10:1:11 | fs |
+| tst.js:1:20:1:23 | 'fs' |

javascript/ql/test/library-tests/DataFlow/noBasicBlock.ql

@@ -0,0 +1,5 @@
+import javascript
+
+from DataFlow::Node node
+where not exists(node.getBasicBlock())
+select node