iframe-proxy | Sunbelt Computer Software

21 lines (19 loc) · 595 Bytes

 * Provides predicates for working with useless conditionals.
import javascript
 * Holds if `e` is part of a conditional node `cond` that evaluates
 * `e` and checks its value for truthiness, and the return value of `e`
 * is not used for anything other than this truthiness check.
predicate isExplicitConditional(AstNode cond, Expr e) {
  e = cond.(IfStmt).getCondition()
  e = cond.(LoopStmt).getTest()
  e = cond.(ConditionalExpr).getCondition()
  isExplicitConditional(_, cond) and
  e = cond.(Expr).getUnderlyingValue().(LogicalBinaryExpr).getAnOperand()

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

UselessConditional.qll

Latest commit

History

UselessConditional.qll

File metadata and controls