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

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

2024-04-05	David Malcolm	analyzer: respect GCC_COLORS in out-of-bounds diagrams... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-04-02	David Malcolm	analyzer: prevent ICEs with null types Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-03-27	David Malcolm	analyzer: fix ICE due to type mismatch when replaying... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-03-23	David Malcolm	analyzer: fix ICE and false positive with -Wanalyzer... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-03-22	David Malcolm	analyzer: look through casts in taint sanitization... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-03-22	David Malcolm	analyzer: add SARIF property bags to taint diagnostics Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-03-21	David Malcolm	analyzer: fix ignored constraints involving casts ... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-03-20	David Malcolm	analyzer: fix -Wanalyzer-deref-before-check false positive... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-03-19	David Malcolm	diagnostics: fix corrupt json/SARIF on stderr [PR114348] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-03-19	David Malcolm	analyzer: fixes to __atomic_{exchange,load,store} ... Signed-off-by: David Malcolm <dmalcolm@redhat.com> Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-03-18	David Malcolm	analyzer: fix ICEs due to sloppy types in bounds-checking... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-03-18	David Malcolm	analyzer: support null operands in remove_ssa_names Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-02-29	David Malcolm	analyzer: fix ICE in call summarization [PR114159] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-02-27	David Malcolm	analyzer: use correct format code for string literal... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-02-27	David Malcolm	analyzer: fix ICE on floating-point bounds [PR111881] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-02-21	David Malcolm	analyzer: handle array-initialization from a string_cst... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-02-21	David Malcolm	analyzer: handle empty ranges in symbolic_byte_range... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-02-19	David Malcolm	analyzer: fix -Wanalyzer-va-arg-type-mismatch false... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-02-19	David Malcolm	analyzer, testsuite: add regression test [PR110520] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-02-15	David Malcolm	analyzer: remove offset_region size overloads [PR111266] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-02-13	David Malcolm	diagnostics: unbreak 'make gcc.pot' Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-31	David Malcolm	analyzer: fix skipping of debug stmts [PR113253] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-31	David Malcolm	analyzer: handle null "var" in state_change_event:... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-30	David Malcolm	analyzer: fix -Wanalyzer-allocation-size false +ve... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-30	David Malcolm	analyzer: add SARIF property bag to -Wanalyzer-allocation... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-25	David Malcolm	analyzer: fix defaults in compound assignments from... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-24	David Malcolm	analyzer: fix taint false +ve due to overzealous state... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-24	David Malcolm	analyzer kernel plugin: implement __check_object_size... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-18	David Malcolm	analyzer: fix ICE on strlen ((char *)&VECTOR_CST) ... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-18	David Malcolm	analyzer: fix offsets in has_null_terminator [PR112811] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-18	David Malcolm	Fix ICE in -fdiagnostics-generate-patch [PR112684] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-16	David Malcolm	gccrs: hir: remove stray semicolon	commit \| commitdiff \| tree
2024-01-16	David Malcolm	analyzer: fix false +ves from -Wanalyzer-tainted-array... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-16	David Malcolm	analyzer: casting all zeroes should give all zeroes... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-10	David Malcolm	gcc-urlifier: handle option prefixes such as '-fno-' Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-10	David Malcolm	pretty-print: support urlification in phase 3 Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-10	David Malcolm	pretty-print: add selftest coverage for numbered args Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-04	David Malcolm	options: wire up options-urls.cc into gcc_urlifier Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-04	David Malcolm	opts: add logic to generate options-urls.cc Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-04	David Malcolm	Add generated .opt.urls files Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-04	David Malcolm	options: add gcc/regenerate-opt-urls.py Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-04	David Malcolm	analyzer: add sarif properties for checker events Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-04	David Malcolm	analyzer: fix deref-before-check false positives due... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2024-01-04	David Malcolm	analyzer: handle arrays of unknown size in access diagrams... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-16	David Malcolm	analyzer: add sarif properties for bounds checking... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-16	David Malcolm	json: fix escaping of object keys Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-16	David Malcolm	analyzer: use bit-level granularity for concrete bounds... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-14	David Malcolm	testsuite: move more analyzer test cases to c-c++-common... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-14	David Malcolm	analyzer: cleanups [PR112655] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-12	David Malcolm	analyzer: add more test coverage for tainted modulus Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-11	David Malcolm	analyzer: fix uninitialized bitmap [PR112955] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-08	David Malcolm	analyzer: avoid taint for (TAINTED % NON_TAINTED) Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-08	David Malcolm	analyzer: fix ICE on infoleak with poisoned size Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-08	David Malcolm	analyzer: fix ICE for 2 bits before the start of base... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-07	David Malcolm	analyzer: fix taint false positives with UNKNOWN [PR112850] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-06	David Malcolm	diagnostics: prettify JSON output formats Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-06	David Malcolm	diagnostics: use const and references for diagnostic_info Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-01	David Malcolm	diagnostics, analyzer: add optional per-diagnostic... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-12-01	David Malcolm	docs: remove stray reference to -fanalyzer-checker... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-28	David Malcolm	analyzer: install header files for use by plugins ... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-28	David Malcolm	diagnostics: don't print annotation lines when there... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-28	David Malcolm	diagnostics: add diagnostic_context::get_location_text Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-19	David Malcolm	libcpp: split decls out to rich-location.h Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-19	David Malcolm	analyzer: new warning: -Wanalyzer-undefined-behavior... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-18	David Malcolm	analyzer: new warning: -Wanalyzer-infinite-loop [PR106147] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-16	David Malcolm	diagnostics: make m_lang_mask private Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-15	David Malcolm	json.cc: use SELFTEST_LOCATION in selftests Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-14	David Malcolm	analyzer: enable taint state machine by default [PR103533] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-14	David Malcolm	diagnostics: make option-handling callbacks private Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-14	David Malcolm	diagnostics: make m_text_callbacks private Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-14	David Malcolm	diagnostics: convert diagnostic_ready_p to an inline... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-14	David Malcolm	input.h: eliminate implicit users of global_dc's file_cache Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-14	David Malcolm	json: reduce use of naked new in json-building code Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-09	David Malcolm	diagnostics: cleanups to diagnostic-show-locus.cc Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-06	David Malcolm	diagnostics: split out struct diagnostic_source_printing_options Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-06	David Malcolm	diagnostics: introduce class diagnostic_option_classifier Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-06	David Malcolm	diagnostics: make diagnostic_context::m_urlifier private Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-06	David Malcolm	diagnostics: eliminate diagnostic_kind_count Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-04	David Malcolm	diagnostics: add automatic URL-ification within messages Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-04	David Malcolm	diagnostics: convert diagnostic_context to a class Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-03	David Malcolm	diagnostics: consolidate group-handling fields in diagnostic... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-11-02	David Malcolm	analyzer: fix clang warnings [PR112317] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-31	David Malcolm	analyzer: move class record_layout to its own .h/.cc Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-31	David Malcolm	libcpp: eliminate MACRO_MAP_EXPANSION_POINT_LOCATION Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-31	David Malcolm	opts.cc: fix comment about DOCUMENTATION_ROOT_URL Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-31	David Malcolm	pretty-print: gracefully handle null URLs Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-26	David Malcolm	Add attribute((null_terminated_string_arg(PARAM_IDX))) Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-16	David Malcolm	diagnostics: special-case -fdiagnostics-text-art-charset... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-16	David Malcolm	diagnostics: fix missing initialization of context... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-09	David Malcolm	analyzer: fix build with gcc < 6 Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-08	David Malcolm	libcpp: eliminate LINEMAPS_{ORDINARY,MACRO}_MAPS Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-08	David Malcolm	libcpp: eliminate LINEMAPS_{,ORDINARY_,MACRO_}CACHE Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-08	David Malcolm	libcpp: eliminate LINEMAPS_LAST_ALLOCATED{,_ORDINARY... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-08	David Malcolm	analyzer: improvements to out-of-bounds diagrams [PR111155] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-08	David Malcolm	libcpp: eliminate COMBINE_LOCATION_DATA Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-08	David Malcolm	libcpp: "const" and other cleanups Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-08	David Malcolm	diagnostics: fix ICE on sarif output when source file... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-03	David Malcolm	c++: print source code in print_instantiation_partial_contex... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-03	David Malcolm	diagnostics: add ctors to text_info; add m_ prefixes... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-10-02	David Malcolm	diagnostics: add diagnostic_output_format class Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
next

GNU Compiler Collection

RSS Atom

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