aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2021-03-30analyzer: only call get_diagnostic_tree when it's neededDavid Malcolm4-8/+16
2021-03-26Daily bump.GCC Administrator1-0/+15
2021-03-24analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716]David Malcolm6-0/+126
2021-03-20Daily bump.GCC Administrator1-0/+6
2021-03-19analyzer: mark epath_finder with DISABLE_COPY_AND_ASSIGN [PR99614]David Malcolm1-0/+2
2021-03-16Daily bump.GCC Administrator1-0/+4
2021-03-15analyzer: fix missing comma in initializerMartin Liska1-1/+1
2021-03-12Daily bump.GCC Administrator1-0/+56
2021-03-11analyzer: new implementation of shortest feasible path [PR96374]David Malcolm9-77/+1276
2021-03-11analyzer: support reverse direction in shortest-paths.hDavid Malcolm1-1/+1
2021-03-11Daily bump.GCC Administrator1-0/+19
2021-03-10analyzer: factor out new class feasibility_stateDavid Malcolm2-101/+172
2021-03-10committed: analyzer: remove duplicated vfuncsDavid Malcolm1-18/+10
2021-03-03Daily bump.GCC Administrator1-0/+5
2021-03-02analyzer: remove dead codeMartin Liska1-5/+1
2021-02-27Daily bump.GCC Administrator1-0/+65
2021-02-26analyzer: implement exploded_path copy ctorDavid Malcolm2-1/+9
2021-02-25analyzer: eliminate dedupe_candidate [PR96374]David Malcolm4-206/+244
2021-02-26Daily bump.GCC Administrator1-0/+16
2021-02-24analyzer: fix false positive on realloc [PR99193]David Malcolm4-2/+88
2021-02-23Daily bump.GCC Administrator1-0/+14
2021-02-22analyzer: handle error/error_at_line [PR99196]David Malcolm4-4/+69
2021-02-18Daily bump.GCC Administrator1-0/+40
2021-02-17analyzer: fix false leak involving params [PR98969]David Malcolm6-36/+58
2021-02-13Daily bump.GCC Administrator1-0/+27
2021-02-11analyzer: fix ICE in print_mem_ref [PR98969]David Malcolm4-24/+143
2021-02-10Daily bump.GCC Administrator1-0/+12
2021-02-09analyzer: support "_IO_"-prefixed variants of FILE * fns [PR98575]David Malcolm1-1/+10
2021-02-09analyzer: treat pointers written to *UNKNOWN as escaping [PR98575]David Malcolm1-3/+14
2021-02-03Daily bump.GCC Administrator1-0/+13
2021-02-01analyzer: directly explore within static functions [PR93355,PR96374]David Malcolm1-52/+16
2021-02-02Daily bump.GCC Administrator1-0/+9
2021-02-01analyzer: fix false positives with *UNKNOWN_PTR [PR98918]David Malcolm1-0/+13
2021-01-30Daily bump.GCC Administrator1-0/+22
2021-01-29analyzer: consolidate conditionals in pathsDavid Malcolm4-0/+228
2021-01-19Daily bump.GCC Administrator1-0/+95
2021-01-18analyzer: use "malloc" attributeDavid Malcolm6-124/+678
2021-01-15Daily bump.GCC Administrator1-0/+22
2021-01-14analyzer: fixes to -fdump-analyzer-jsonDavid Malcolm4-4/+60
2021-01-14analyzer: const fixes [PR98679]David Malcolm3-4/+4
2021-01-13Daily bump.GCC Administrator1-0/+6
2021-01-11analyzer: fix ICE merging dereferencing unknown ptrs [PR98628]David Malcolm1-2/+5
2021-01-08Daily bump.GCC Administrator1-0/+27
2021-01-07analyzer: fix ICE when DECL_INITIAL is error_mark_node [PR98580]David Malcolm1-0/+5
2021-01-06analyzer: fix false leak reports when merging states [PR97074]David Malcolm4-3/+40
2021-01-06analyzer: fix missing bitmap_clear [PR98564]David Malcolm1-0/+1
2021-01-07Daily bump.GCC Administrator1-0/+7
2021-01-05analyzer: fix false leaks when writing through unknown ptrs [PR97072]David Malcolm1-9/+27
2021-01-06Daily bump.GCC Administrator1-0/+7
2021-01-04analyzer: fix ICE with -fsanitize=undefined [PR98293]David Malcolm1-1/+18