aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
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
2020-08-18analyzer: fix ICE with negative bit offsets [PR96648]David Malcolm1-1/+2
2020-08-19Daily bump.GCC Administrator1-0/+19
2020-08-17analyzer: fix name of local in region_model::get_rvalue_1David Malcolm1-2/+2
2020-08-17analyzer: fix ICE on unhandled tree codes in get_rvalue_1 [PR96641]David Malcolm1-1/+1
2020-08-17analyzer: fix ICE on unhandled tree codes in gassign [PR96640]David Malcolm1-2/+20
2020-08-18Daily bump.GCC Administrator1-0/+18
2020-08-17analyzer: fix ICE on NULL dereference [PR96644]David Malcolm1-2/+2
2020-08-17analyzer: fix ICE due to NULL type [PR96639]David Malcolm1-1/+1
2020-08-17analyzer: handle &STRING_CST in constant pool initializers [PR96642]David Malcolm1-3/+18
2020-08-15Daily bump.GCC Administrator1-0/+19
2020-08-14analyzer: fix initialization from constant pool [PR96609,PR96616]David Malcolm5-0/+96
2020-08-14analyzer: fix ICE on escaped unknown pointers [PR96611]David Malcolm1-0/+3
2020-08-14Add missing PR entries for recent analyzer commit.Martin Liska1-0/+14
2020-08-14Daily bump.GCC Administrator1-0/+1393
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm37-9888/+13439
2020-05-22analyzer: Add exit, and _exit replacement, to sm-signal.Mark Wielaard2-4/+45