4
98%
master: 98%

Ran 09 Aug 2015 01:40PM UTC

Files 23

Run time 1s

Badge

Embed ▾

Committed 09 Aug 2015 01:37PM UTC coverage: 94.72% (+0.02%) from 94.696%

Job # LUA="LuaJIT 2.0"

Build Type

push

travis-ci

Committed by

mpeterv

Commit Message

Fix values not saved in infinite loops

When propogating a value, it was saved at the end of propogation. If
flow ends with an unexitable loop, nothing is saved. This leads to
incorrect analysis or crashes for upvalues, as it is expected that accesses
in reachable closures use at least one value, perhaps the empty initial.

The fix is to also save values when propogating to an item already visited
in the current stack (path from root to current node). A loop must contain
at least one such backtracking edge.

Implementation has to simlutate recursion manually to track set of items
in the stack. Performance hit is considerable.

Run Details

3319 of 3504 relevant lines covered (94.72%)

2298.71 hits per line

mpeterv / luacheck / 261 / 4
98%
master: 98%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 261.4 (LUA="LuaJIT 2.0")

mpeterv / luacheck / 261 / 4 98% master: 98%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 261.4 (LUA="LuaJIT 2.0")

mpeterv / luacheck / 261 / 4
98%
master: 98%

README BADGES
x