gcc.gnu.org Git - gcc.git/search

]> gcc.gnu.org Git - gcc.git/search

2022-04-14	David Malcolm	analyzer: fix escaping of pointer arithmetic [PR105264] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-04-14	David Malcolm	analyzer: fix ICE comparing VECTOR_CSTs [PR105252] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-04-09	David Malcolm	analyzer: fix folding of regions involving unknown... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-04-07	David Malcolm	analyzer: fix leak false +ve with symbolic writes ... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-04-06	David Malcolm	jit: fix location of .png files for "make jit.pdf"... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-04-05	David Malcolm	Document that the 'access' and 'nonnull' attributes... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-04-01	David Malcolm	jit: further doc fixes Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-29	David Malcolm	analyzer: skip constant pool in -fdump-analyzer-untracked... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-29	David Malcolm	analyzer: ensure that we purge state when reusing a... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-29	David Malcolm	analyzer: fix ICE with incorrect lookup of cgraph node... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-28	David Malcolm	gimple-fold: fix location of loads for memory ops ... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-26	David Malcolm	analyzer: fix ICE on memset of untracked region [PR105057] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-25	David Malcolm	analyzer: add region::tracked_p to optimize state objects... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-23	David Malcolm	analyzer: fix accessing wrong stack frame on interprocedural... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-23	David Malcolm	analyzer: use tainted_allocation_size::m_mem_space... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-23	David Malcolm	analyzer: fix ICE adding note to disabled diagnostic... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-18	David Malcolm	analyzer: extend state-purging to locals [PR104943] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-18	David Malcolm	analyzer: add tests of boxed values [PR104943] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-17	David Malcolm	analyzer: fixes to -fdump-analyzer-state-purge Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-17	David Malcolm	analyzer: fix program_point::get_next for PK_BEFORE_STMT Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-16	David Malcolm	analyzer: early rejection of disabled warnings [PR104955] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-15	David Malcolm	analyzer: add test coverage for PR 95000 Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-15	David Malcolm	analyzer: presize m_cluster_map in store copy ctor Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-10	David Malcolm	analyzer: fix ICE with -fanalyzer-transitivity [PR104863] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-10	David Malcolm	analyzer: add notes to write-to-const/string from access... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-10	David Malcolm	analyzer: check for writes to consts via access attr... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-10	David Malcolm	analyzer: fix duplicates in check_for_tainted_size_arg Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-08	David Malcolm	analyzer: more test coverage of leak detection [PR99771] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-07	David Malcolm	analyzer: fix leak suppression at end of 'main' [PR101983] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-03-04	David Malcolm	analyzer: reduce svalue depth limit from 13 to 12 ... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-23	David Malcolm	analyzer: handle __attribute__((const)) [PR104434] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-17	David Malcolm	analyzer: const functions have no side effects [PR104576] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-16	David Malcolm	analyzer: fixes to free of non-heap detection [PR104560] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-15	David Malcolm	analyzer: fix ICE on cast to NULL type [PR104524] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-15	David Malcolm	analyzer: fix uninit false +ve due to optimized conditionals... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-11	David Malcolm	analyzer: ignore uninitialized uses of empty types... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-10	David Malcolm	analyzer: handle more casts of string literals [PR98797] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-10	David Malcolm	analyzer: fix testsuite issues seen with mingw [PR102052] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-09	David Malcolm	analyzer: more uninit test coverage Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-09	David Malcolm	analyzer: fix hashing of bit_range_region::key_t [PR104452] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-07	David Malcolm	analyzer: fix ICE on realloc of non-heap [PR104417] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-07	David Malcolm	analyzer: fixes to memcpy [PR103872] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-07	David Malcolm	testsuite: avoid analyzer asm failures on non-Linux Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-03	David Malcolm	analyzer: fixes to realloc-handling [PR104369] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-03	David Malcolm	analyzer: fix zero-fill of calloc Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-02	David Malcolm	docs: mention analyzer interaction with -ftrivial-auto... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-02	David Malcolm	analyzer: fix missing check for uninit of return values Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-02	David Malcolm	analyzer: consolidate duplicate code in region::calc_offset Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-02	David Malcolm	analyzer: implement bit_range_region Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-02-02	David Malcolm	analyzer: stop -ftrivial-auto-var-init from suppressing... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-27	David Malcolm	analyzer: show region creation events for uninit warnings Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-26	David Malcolm	analyzer: fix missing uninit warning on args to stdio... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-26	David Malcolm	analyzer: fix sense in range::add_bound [PR94362] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-22	David Malcolm	testsuite: guard usage of _Float16 in analyzer test... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-22	David Malcolm	analyzer: fix ICE on vector casts [PR104159] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-20	David Malcolm	analyzer: reject ((i + 1 > 0) && (i < 0)) for integers... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-20	David Malcolm	analyzer: add regression test [PR103685] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-19	David Malcolm	Update per-file selftest and finalization hooks for... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-18	David Malcolm	analyzer: fix ICE on unary ops folding to casts of... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-18	David Malcolm	analyzer: fix ICE on realloc of zeroed memory [PR104062] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-14	David Malcolm	analyzer: fix ICE when combining taint states has_ub... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-14	David Malcolm	analyzer: fix ICE in taint checker on unary ops [PR104029] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-14	David Malcolm	Add __attribute__ ((tainted_args)) Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-12	David Malcolm	analyzer: complain about tainted sizes with "access... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-11	David Malcolm	analyzer: fix false +ve on bitwise binops (PR analyzer... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-08	David Malcolm	analyzer: add logging of aliasing	commit \| commitdiff \| tree
2022-01-08	David Malcolm	analyzer: implement __analyzer_dump_escaped	commit \| commitdiff \| tree
2022-01-08	David Malcolm	analyzer: add region::is_named_decl_p Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-01-06	David Malcolm	analyzer: make use of may_be_aliased in alias detection... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-12-10	David Malcolm	jit: set DECL_CONTEXT of RESULT_DECL [PR103562] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-12-06	David Malcolm	analyzer: fix equivalence class state purging [PR103533] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-12-02	David Malcolm	analyzer: add regression test for leak false +ve [PR103526] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-12-01	David Malcolm	analyzer: fix false leak seen in Juliet 1.3 [PR102471] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-30	David Malcolm	analyzer: add regression test [PR94579] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-30	David Malcolm	analyzer: add regression test [PR99269] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-30	David Malcolm	analyzer: verify that -Wanalyzer-too-complex can be... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-29	David Malcolm	analyzer: further false leak fixes due to overzealous... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-19	David Malcolm	analyzer: fix false leak due to overeager state merging... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-17	David Malcolm	libcpp: capture and underline ranges in -Wbidi-chars... Signed-off-by: David Malcolm <dmalcolm@redhat.com> Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-17	David Malcolm	libcpp: escape non-ASCII source bytes in -Wbidi-chars... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-17	David Malcolm	analyzer: fix missing -Wanalyzer-write-to-const [PR102695] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-17	David Malcolm	analyzer: don't assume target has alloca [PR102779] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-16	David Malcolm	analyzer: fix overeager sharing of bounded_range instances... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-13	David Malcolm	analyzer: add four new taint-based warnings Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-12	David Malcolm	analyzer: "__analyzer_dump_state" has no side-effects Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-12	David Malcolm	jit: fix -Werror=format-overflow= in testsuite [PR103199] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-11	David Malcolm	diagnostic: fix unused variable 'def_tabstop' [PR103129] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-09	David Malcolm	c: more precise locations for some -Wpragmas diagnostics Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-04	David Malcolm	analyzer: fix ICE in sm_state_map::dump when dumping... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-01	David Malcolm	contrib: add unicode/utf8-dump.py Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-11-01	David Malcolm	diagnostics: escape non-ASCII source bytes for certain... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-10-29	David Malcolm	assert_streq: add newlines to failure message Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-10-29	David Malcolm	gcc/Makefile.in: fix bug in gengtype link rule Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2021-09-08	David Malcolm	analyzer: fix ICE when discarding result of realloc...	commit \| commitdiff \| tree
2021-08-30	David Malcolm	analyzer: support "bifurcation"; reimplement realloc...	commit \| commitdiff \| tree
2021-08-23	David Malcolm	analyzer: rewrite of switch handling	commit \| commitdiff \| tree
2021-08-23	David Malcolm	analyzer: fix ICE with NULL change.m_expr [PR101875]	commit \| commitdiff \| tree
2021-08-23	David Malcolm	analyzer: fix ICE when failing to reconstruct a fn...	commit \| commitdiff \| tree
2021-08-23	David Malcolm	analyzer: assume that POINTER_PLUS_EXPR of non-NULL...	commit \| commitdiff \| tree
2021-08-23	David Malcolm	analyzer: fix uninit false positive on overlapping...	commit \| commitdiff \| tree
next

GNU Compiler Collection

RSS Atom

This page took 0.172619 seconds and 4 git commands to generate.