GeezerVison

The World Wide Web, restored to 800 pixels of glory.

GeezerVison is showing github.com — C++: Simplify recursion in 'PhiCycle::isCertain' and do not restrict … · fredatgithub/codeql@c6ce13a

File tree

Expand file treeCollapse file tree

Open diff view settings

Filter options

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal
- SsaImpl.qll

Expand file treeCollapse file tree

Open diff view settings

Collapse file

`‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll‎`

Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll

+6-3Lines changed: 6 additions & 3 deletions

Original file line number	Diff line number	Diff line change
`@@ -1396,13 +1396,16 @@ private class PhiCycle extends PhiCycleEquivalence::EquivalenceClass {`
`1396`	`1396`
`1397`	`1397`	`predicate hasPhiNode(PhiNode phi) { this.getAPhiNode() = phi }`
`1398`	`1398`
	`1399`	`+ pragma[nomagic]`
	`1400`	`+ Definition getAnInput() {`
	`1401`	`+ result = this.getAPhiNode().getAnInput() and not this.hasPhiNode(result)`
	`1402`	`+ }`
	`1403`	`+`
`1399`	`1404`	`string toString() { result = strictconcat(this.getAPhiNode().toString(), ", ") }`
`1400`	`1405`
`1401`	`1406`	`predicate isCertain() {`
`1402`	`1407`	`// A phi cycle is certain if all of the inputs into the phi cycle is certain.`
`1403`		`- forex(PhiNode phi \| phi = this.getAPhiNode() \|`
`1404`		`- forall(PhiNode inp \| phi.getAnInput() = inp and not this.hasPhiNode(inp) \| inp.isCertain())`
`1405`		`- )`
	`1408`	`+ forex(Definition inp \| inp = this.getAnInput() \| inp.isCertain())`
`1406`	`1409`	`}`
`1407`	`1410`	`}`
`1408`	`1411`

0 commit comments

Comments

0 (0)

You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.