aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)Author
2021-06-22analyzer: fix ICE on malloc/alloca param type mismatch [PR101143]David Malcolm
2021-06-19Daily bump.GCC Administrator
2021-06-18analyzer: fix issue with symbolic reads with concrete bindingsDavid Malcolm
2021-06-18analyzer: add region_model_manager::get_or_create_int_cstDavid Malcolm
2021-06-18analyzer: refactor custom_event, introducing precanned_custom_event classDavid Malcolm
2021-06-16Daily bump.GCC Administrator
2021-06-15analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm
2021-06-15analyzer: track dynamic extents of regionsDavid Malcolm
2021-06-15analyzer: add class region_to_value_mapDavid Malcolm
2021-06-14Daily bump.GCC Administrator
2021-06-13use range based for loops to iterate over vec<>Trevor Saunders
2021-06-12Daily bump.GCC Administrator
2021-06-11analyzer: tweak priority of callstrings in worklist::key_t::cmpDavid Malcolm
2021-06-10Daily bump.GCC Administrator
2021-06-09analyzer: make various region_model member functions constDavid Malcolm
2021-06-09Daily bump.GCC Administrator
2021-06-08analyzer: bitfield fixes [PR99212]David Malcolm
2021-06-08analyzer: fix region::get_bit_size for bitfieldsDavid Malcolm
2021-06-08analyzer: split out struct bit_range from class concrete_bindingDavid Malcolm
2021-06-08analyzer: remove redundant typedefDavid Malcolm
2021-06-04Daily bump.GCC Administrator
2021-06-03analyzer: remove unused prototypesDavid Malcolm
2021-06-03analyzer: show types for poisoned_svalue and compound_svalueDavid Malcolm
2021-05-19Daily bump.GCC Administrator
2021-05-18analyzer: fix missing leak after call to strsep [PR100615]David Malcolm
2021-05-11Daily bump.GCC Administrator
2021-05-10Come up with startswith function.Martin Liska
2021-05-10Remove __cplusplus >= 201103Martin Liska
2021-04-25Daily bump.GCC Administrator
2021-04-24analyzer: fix ICE on NULL change.m_expr [PR100244]David Malcolm
2021-04-14Daily bump.GCC Administrator
2021-04-12gimple UIDs, LTO and -fanalyzer [PR98599]David Malcolm
2021-04-11Daily bump.GCC Administrator
2021-04-10analyzer: fix ICE on assignment from STRING_CST when building path [PR100011]David Malcolm
2021-04-09Daily bump.GCC Administrator
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm
2021-04-06Daily bump.GCC Administrator
2021-04-05analyzer: fix ICE on zero-arg calls passed to __attribute__((nonnull)) [PR 99...David Malcolm
2021-04-05analyzer: fix apparent hang with -fanalyzer-verbosity=0 [PR analyzer/99886]David Malcolm
2021-04-02Daily bump.GCC Administrator
2021-04-01analyzer: record per-enode saved_diagnosticsDavid Malcolm
2021-04-01Daily bump.GCC Administrator
2021-03-31analyzer: avoid printing '<unknown>' for SSA names [PR99771]David Malcolm
2021-03-31Daily bump.GCC Administrator
2021-03-30analyzer: remove old decl of region::dump_to_ppDavid Malcolm
2021-03-30analyzer: only call get_diagnostic_tree when it's neededDavid Malcolm
2021-03-26Daily bump.GCC Administrator
2021-03-24analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716]David Malcolm
2021-03-20Daily bump.GCC Administrator
2021-03-19analyzer: mark epath_finder with DISABLE_COPY_AND_ASSIGN [PR99614]David Malcolm