aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2021-04-25Daily bump.GCC Administrator1-0/+6
2021-04-24analyzer: fix ICE on NULL change.m_expr [PR100244]David Malcolm1-1/+1
2021-04-14Daily bump.GCC Administrator1-0/+12
2021-04-12gimple UIDs, LTO and -fanalyzer [PR98599]David Malcolm2-4/+68
2021-04-11Daily bump.GCC Administrator1-0/+6
2021-04-10analyzer: fix ICE on assignment from STRING_CST when building path [PR100011]David Malcolm1-1/+1
2021-04-09Daily bump.GCC Administrator1-0/+94
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm10-73/+309
2021-04-06Daily bump.GCC Administrator1-0/+18
2021-04-05analyzer: fix ICE on zero-arg calls passed to __attribute__((nonnull)) [PR 99...David Malcolm2-2/+3
2021-04-05analyzer: fix apparent hang with -fanalyzer-verbosity=0 [PR analyzer/99886]David Malcolm1-3/+5
2021-04-02Daily bump.GCC Administrator1-0/+56
2021-04-01analyzer: record per-enode saved_diagnosticsDavid Malcolm7-55/+65
2021-04-01Daily bump.GCC Administrator1-0/+16
2021-03-31analyzer: avoid printing '<unknown>' for SSA names [PR99771]David Malcolm5-8/+140
2021-03-31Daily bump.GCC Administrator1-0/+16
2021-03-30analyzer: remove old decl of region::dump_to_ppDavid Malcolm1-5/+0
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