 Simon Krajewski
|
12a52b2fcd
[analyzer] do not propagate `Null<T>` away
|
пре 10 година |
|
Simon Krajewski
|
f386f74b3b
[analyzer] allow inlining unsafe casts
|
пре 10 година |
|
Simon Krajewski
|
e86c9c1b12
fix term control flow check for switch in inliner (closes #4324)
|
пре 10 година |
|
Simon Krajewski
|
a9674e4a94
[analyzer] avoid some temp vars (closes #4322)
|
пре 10 година |
 Dan Korostelev
|
1977cc09eb
disabled null-checker related stuff to fix #4241 for now
|
пре 10 година |
|
Simon Krajewski
|
d6eb32be4d
spread the awkward (and propagate enum indices)
|
пре 10 година |
|
Simon Krajewski
|
eee5456d62
propagate enum fields if they are used only once
|
пре 10 година |
|
Simon Krajewski
|
4b72c892b8
run `api_inline` during const propagation
|
пре 10 година |
|
Simon Krajewski
|
7168026d7f
[cpp] disable Array restriction in simplifier (see #4187)
|
пре 10 година |
|
Simon Krajewski
|
4addbafab3
[analyzer] make sure variable initializations are in `need_val` mode
|
пре 10 година |
|
Simon Krajewski
|
0c5bf3926f
reactivate null checker code, but disable it by default
|
пре 10 година |
 hughsando
|
88800484e1
[cpp] Do not store array values in temp variables in case this causes a copy operation.
|
пре 10 година |
|
Dan Korostelev
|
7eeeed0b33
remove flash8 target (see #3922)
|
пре 10 година |
|
Simon Krajewski
|
e96941646a
[analyzer] make sure LocalDCE iterates expression in reverse order so we do not miss any local usages (closes #3970)
|
пре 10 година |
|
Simon Krajewski
|
75bc71a7e6
[analyzer] always avoid propagation on type changes for now
|
пре 10 година |
|
Simon Krajewski
|
83e754bdf4
[analyzer] update field access after propagating because we might have a more accurate type
|
пре 10 година |
|
Simon Krajewski
|
3c38602723
[analyzer] do not replace locals if the type changes (closes #3964)
|
пре 10 година |
|
Simon Krajewski
|
18de81238b
improve pattern match conversion using IntMap instead of List and avoid some work in macro-mode (see #3937)
|
пре 10 година |
|
Simon Krajewski
|
4d20b05d11
[analyzer] reconstruct `&&` and `||` where possible
|
пре 10 година |
|
Simon Krajewski
|
ba507a4d32
Revert "compare v_id instead of physical equality for variables to avoid issues with interp encoding"
|
пре 10 година |
|
Dan Korostelev
|
194ba29a46
compare v_id instead of physical equality for variables to avoid issues with interp encoding
|
пре 10 година |
|
Dan Korostelev
|
98418b505d
[analyzer] error on unbound variables
|
пре 10 година |
|
Simon Krajewski
|
fc12e68086
[analyzer] split up `return Void` which might be introduced by various typer parts
|
пре 10 година |
|
Simon Krajewski
|
86228d0a64
[analyzer] restructure var flags so we can store usage count; restrict TEnumParameter propagation to usage == 1
|
пре 10 година |
|
Simon Krajewski
|
502125b485
[analyzer] consider TFor to have a side-effect for now
|
пре 10 година |
|
Simon Krajewski
|
df5c7ffcff
[analyzer] put anti-php measures in the right place
|
пре 10 година |
|
Simon Krajewski
|
16c9895885
[analyzer] enum value construction itself is not a side-effect
|
пре 10 година |
|
Simon Krajewski
|
642d8a0b28
[analyzer] properly recurse after awkwardly finding an enum value
|
пре 10 година |
|
Simon Krajewski
|
e6893f1a48
[analyzer] fix PHI AST
|
пре 10 година |
|
Simon Krajewski
|
b9b1a4e780
[php] sigh
|
пре 10 година |
