aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2020-09-19Daily bump.GCC Administrator1-0/+10
2020-09-18analyzer: fix warning_event::get_desc for global state changesDavid Malcolm1-8/+21
2020-09-18analyzer: handle strdup and strndupDavid Malcolm1-1/+3
2020-09-17Daily bump.GCC Administrator1-0/+47
2020-09-16analyzer: fix state explosions due to SCC bugDavid Malcolm1-6/+16
2020-09-16analyzer: show SCC ids in .dot dumpsDavid Malcolm2-2/+13
2020-09-16analyzer: bulk merger/processing of runs of nodes at CFG join pointsDavid Malcolm2-0/+211
2020-09-16analyzer: add program_point::get_nextDavid Malcolm3-20/+35
2020-09-16analyzer: show program point in -Wanalyzer-too-complexDavid Malcolm1-0/+1
2020-09-16analyzer: getchar has no side-effectsDavid Malcolm1-0/+5
2020-09-16Daily bump.GCC Administrator1-0/+7
2020-09-15analyzer: fix ICE when merging constraints w/o transitivity [PR96650]David Malcolm1-1/+9
2020-09-15Daily bump.GCC Administrator1-0/+22
2020-09-14analyzer: add -param=analyzer-max-constraints=David Malcolm2-0/+7
2020-09-14analyzer: fix constraint explosion on many-cased switch [PR96653]David Malcolm1-33/+0
2020-09-14analyzer: fix ICE on setjmp with non-pointer-type [PR97029]David Malcolm2-1/+5
2020-09-12Daily bump.GCC Administrator1-0/+19
2020-09-10analyzer: stricter handling of non-pure builtins [PR96798]David Malcolm3-0/+77
2020-09-10Daily bump.GCC Administrator1-0/+223
2020-09-09analyzer: generalize sm-malloc to new/delete [PR94355]David Malcolm6-115/+589
2020-09-09analyzer: eliminate sm_context::warn_for_state in favor of a new 'warn' vfuncDavid Malcolm9-88/+108
2020-09-09analyzer: reimplement on_transition in terms of get_state/set_next_stateDavid Malcolm3-33/+80
2020-09-09analyzer: use objects for state_machine::state_tDavid Malcolm12-119/+136
2020-09-09Daily bump.GCC Administrator1-0/+21
2020-09-08analyzer: fix another ICE in constructor-handling [PR96949]David Malcolm1-2/+6
2020-09-08analyzer: fix ICE on RANGE_EXPR with CONSTRUCTOR value [PR96950]David Malcolm1-4/+14
2020-09-08analyzer: fix ICE on machine-specific builtins [PR96962]David Malcolm1-1/+1
2020-09-02Daily bump.GCC Administrator1-0/+6
2020-09-01analyzer: fix false NULL deref warning after previous deref [PR96792]David Malcolm1-0/+9
2020-09-01Daily bump.GCC Administrator1-0/+57
2020-08-31analyzer: handle __builtin___memset_chk [PR96798]David Malcolm1-0/+1
2020-08-31analyzer: gather builtin/internal fn handling into switch statementsDavid Malcolm1-8/+40
2020-08-31analyzer: fix ICE on unknown index in CONSTRUCTOR [PR96860]David Malcolm3-14/+28
2020-08-31analyzer: fix ICE on RANGE_EXPR in CONSTRUCTORs [PR96763]David Malcolm2-35/+102
2020-08-31analyzer: fix ICE on casting float to pointer [PR96764]David Malcolm3-11/+38
2020-08-27Daily bump.GCC Administrator1-0/+27
2020-08-25analyzer: fix leak false positive/widening on pointer iteration [PR94858]David Malcolm3-0/+54
2020-08-25analyzer: fix ICE on initializers for unsized array fields [PR96777]David Malcolm3-5/+43
2020-08-23Daily bump.GCC Administrator1-0/+21
2020-08-22analyzer: fix NULL deref false positives [PR94851]David Malcolm1-0/+6
2020-08-22analyzer: simplify store::eval_aliasDavid Malcolm2-22/+27
2020-08-22analyzer: simplify region_model::push_frameDavid Malcolm1-12/+7
2020-08-21Daily bump.GCC Administrator1-0/+17
2020-08-20analyzer: fix infinite recursion ICE on unions [PR96723]David Malcolm2-0/+4
2020-08-19analyzer: fix ICE on vector comparisons [PR96713]David Malcolm1-13/+12
2020-08-20Daily bump.GCC Administrator1-0/+49
2020-08-19analyzer: fix ICE on deref_rvalue on SK_COMPOUND [PR96643]David Malcolm1-21/+5
2020-08-19analyzer: fix ICE on folding vector 0 [PR96705]David Malcolm1-2/+2
2020-08-19analyzer: fix ICE converting float to int [PR96699]David Malcolm1-0/+5
2020-08-18analyzer: consider initializers for globals [PR96651]David Malcolm5-29/+130