aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/c-c++-common/analyzer
AgeCommit message (Expand)AuthorFilesLines
10 daysanalyzer: Fix ICE in cmp_csts_same_type on RAW_DATA_CST [PR119278]Jakub Jelinek1-0/+20
12 daysanalyzer: support RAW_DATA_CST [PR117262]David Malcolm2-0/+53
2025-02-24analyzer: Handle nonnull_if_nonzero attribute [PR117023]Jakub Jelinek2-3/+3
2025-02-22Turn test cases into UNSUPPORTED if running into 'sorry, unimplemented: dynam...Thomas Schwinge13-16/+0
2025-01-09c, c++: preserve type name in conversion [PR116060]Jason Merrill2-28/+28
2024-11-15c: Default to -std=gnu23Joseph Myers7-28/+0
2024-10-16testsuite: Prepare for -std=gnu23 defaultJoseph Myers1-0/+1
2024-10-04testsuite: add missing braces around dejagnu directivesSam James2-2/+2
2024-09-30diagnostics: use "%e" to avoid intermediate strings [PR116613]David Malcolm1-6/+3
2024-09-12testsuite: introduce hostedlib effective targetAlexandre Oliva103-0/+167
2024-08-12This fixes problems with tests that exceed a data type or the maximum stack f...Joern Rennecke1-1/+1
2024-07-04analyzer: handle <error.h> at -O0 [PR115724]David Malcolm1-0/+86
2024-06-07analyzer: new warning: -Wanalyzer-undefined-behavior-ptrdiff (PR analyzer/105...David Malcolm3-2/+129
2024-06-03diagnostics: add SARIF property artifact.roles (3.24.6)David Malcolm2-0/+23
2024-06-01analyzer: detect -Wanalyzer-allocation-size at call stmts [PR106203]David Malcolm2-14/+2
2024-05-15diagnostics: simplify output of purely intraprocedural execution pathsDavid Malcolm10-630/+545
2024-05-15analyzer: fix ICE seen with -fsanitize=undefined [PR114899]David Malcolm1-0/+15
2024-05-03testsuite: fix analyzer C++ failures on Solaris [PR111475]David Malcolm10-384/+23
2024-04-10analyzer: fix ICE on negative values for size_t [PR114472]David Malcolm1-0/+17
2024-04-10analyzer, testuite: comment fixesDavid Malcolm1-2/+2
2024-03-28Fix failure of c-c++-common/analyzer/stdarg-pr111289-int.c on hpuxJohn David Anglin1-1/+0
2024-03-23analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR11...David Malcolm1-0/+22
2024-03-21analyzer: fix ignored constraints involving casts [PR113619]David Malcolm1-0/+29
2024-03-20analyzer: fix -Wanalyzer-deref-before-check false positive seen in loop heade...David Malcolm2-0/+97
2024-03-19analyzer: fixes to __atomic_{exchange,load,store} [PR114286]David Malcolm1-0/+48
2024-03-18analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902,PR110928,...David Malcolm5-6/+130
2024-03-18testsuite: Define _POSIX_C_SOURCE for testTorbjörn SVENSSON1-0/+1
2024-03-13testsuite: target test for short_enumsTorbjörn SVENSSON1-1/+1
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm1-0/+20
2024-02-27analyzer: fix ICE on floating-point bounds [PR111881]David Malcolm1-0/+8
2024-02-20analyzer: handle array-initialization from a string_cst [PR113999]David Malcolm1-0/+8
2024-02-20analyzer: handle empty ranges in symbolic_byte_range::intersection [PR113998]David Malcolm1-0/+21
2024-02-19analyzer: fix -Wanalyzer-va-arg-type-mismatch false +ve on int types [PR111289]David Malcolm2-0/+108
2024-02-19analyzer, testsuite: add regression test [PR110520]David Malcolm1-0/+8
2024-02-15analyzer: remove offset_region size overloads [PR111266]David Malcolm1-0/+11
2024-02-15testsuite: Define _POSIX_SOURCE for tests [PR113278]Torbjörn SVENSSON3-0/+4
2024-02-14coreutils-sum-pr108666.c: fix spurious LLP64 warningsJonathan Yong1-1/+1
2024-01-31uninit-pr108968-register.c: use __UINTPTR_TYPE__ for LLP64Jonathan Yong1-1/+1
2024-01-30analyzer: handle null "var" in state_change_event::get_desc [PR113509]David Malcolm1-0/+8
2024-01-30analyzer: fix -Wanalyzer-allocation-size false +ve on Linux kernel's round_up...David Malcolm1-0/+52
2024-01-25analyzer: fix defaults in compound assignments from non-zero offsets [PR112969]David Malcolm2-2/+36
2024-01-18analyzer: fix ICE on strlen ((char *)&VECTOR_CST) [PR111361]David Malcolm3-2/+27
2024-01-18analyzer: fix offsets in has_null_terminator [PR112811]David Malcolm1-0/+18
2024-01-15analyzer: fix false +ves from -Wanalyzer-tainted-array-index with unsigned ch...David Malcolm1-0/+109
2024-01-15analyzer: casting all zeroes should give all zeroes [PR113333]David Malcolm2-1/+35
2024-01-14Skip several analyzer socket tests on hppa*-*-hpux*John David Anglin4-4/+4
2024-01-04analyzer: fix deref-before-check false positives due to inlining [PR112790]David Malcolm1-0/+27
2023-12-25testsuite: Skip analyzer tests on AIX.David Edelsohn5-0/+6
2023-12-16analyzer: use bit-level granularity for concrete bounds-checking [PR112792]David Malcolm1-0/+18
2023-12-14testsuite: move more analyzer test cases to c-c++-common (3) [PR96395]David Malcolm269-0/+9327