aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2021-07-01Daily bump.GCC Administrator1-0/+237
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm13-462/+1808
2021-06-29Daily bump.GCC Administrator1-0/+12
2021-06-28analyzer: introduce byte_range and use to simplify dumpsDavid Malcolm3-6/+74
2021-06-23Daily bump.GCC Administrator1-0/+8
2021-06-22analyzer: fix ICE on malloc/alloca param type mismatch [PR101143]David Malcolm1-4/+15
2021-06-19Daily bump.GCC Administrator1-0/+35
2021-06-18analyzer: fix issue with symbolic reads with concrete bindingsDavid Malcolm1-0/+10
2021-06-18analyzer: add region_model_manager::get_or_create_int_cstDavid Malcolm4-10/+20
2021-06-18analyzer: refactor custom_event, introducing precanned_custom_event classDavid Malcolm5-13/+26
2021-06-16Daily bump.GCC Administrator1-0/+90
2021-06-15analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm5-35/+83
2021-06-15analyzer: track dynamic extents of regionsDavid Malcolm7-42/+222
2021-06-15analyzer: add class region_to_value_mapDavid Malcolm2-0/+155
2021-06-14Daily bump.GCC Administrator1-0/+19
2021-06-13use range based for loops to iterate over vec<>Trevor Saunders6-46/+16
2021-06-12Daily bump.GCC Administrator1-0/+5
2021-06-11analyzer: tweak priority of callstrings in worklist::key_t::cmpDavid Malcolm1-6/+19
2021-06-10Daily bump.GCC Administrator1-0/+15
2021-06-09analyzer: make various region_model member functions constDavid Malcolm2-16/+16
2021-06-09Daily bump.GCC Administrator1-0/+46
2021-06-08analyzer: bitfield fixes [PR99212]David Malcolm5-4/+315
2021-06-08analyzer: fix region::get_bit_size for bitfieldsDavid Malcolm2-4/+31
2021-06-08analyzer: split out struct bit_range from class concrete_bindingDavid Malcolm2-22/+77
2021-06-08analyzer: remove redundant typedefDavid Malcolm1-2/+0
2021-06-04Daily bump.GCC Administrator1-0/+10
2021-06-03analyzer: remove unused prototypesDavid Malcolm1-2/+0
2021-06-03analyzer: show types for poisoned_svalue and compound_svalueDavid Malcolm1-6/+23
2021-05-19Daily bump.GCC Administrator1-0/+8
2021-05-18analyzer: fix missing leak after call to strsep [PR100615]David Malcolm1-0/+28
2021-05-11Daily bump.GCC Administrator1-0/+13
2021-05-10Come up with startswith function.Martin Liska1-3/+2
2021-05-10Remove __cplusplus >= 201103Martin Liska3-11/+0
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