llvm-project

Commit Graph

Author	SHA1	Message	Date
Aaron Ballman	1ea584377e	A significant number of our tests in C accidentally use functions without prototypes. This patch converts the function signatures to have a prototype for the situations where the test is not specific to K&R C declarations. e.g., void func(); becomes void func(void); This is the ninth batch of tests being updated (there are a significant number of other tests left to be updated).	2022-02-13 08:03:40 -05:00
Valeriy Savchenko	73c120a989	[analyzer] Introduce reasoning about symbolic remainder operator Summary: New logic tries to narrow possible result values of the remainder operation based on its operands and their ranges. It also tries to be conservative with negative operands because according to the standard the sign of the result is implementation-defined. rdar://problem/44978988 Differential Revision: https://reviews.llvm.org/D80117	2020-05-28 18:56:38 +03:00

Author

SHA1

Message

Date

Aaron Ballman

1ea584377e

A significant number of our tests in C accidentally use functions

without prototypes. This patch converts the function signatures to have
a prototype for the situations where the test is not specific to K&R C
declarations. e.g.,

  void func();

becomes

  void func(void);

This is the ninth batch of tests being updated (there are a
significant number of other tests left to be updated).

2022-02-13 08:03:40 -05:00

Valeriy Savchenko

73c120a989

[analyzer] Introduce reasoning about symbolic remainder operator

Summary:
New logic tries to narrow possible result values of the remainder operation
based on its operands and their ranges.  It also tries to be conservative
with negative operands because according to the standard the sign of
the result is implementation-defined.

rdar://problem/44978988

Differential Revision: https://reviews.llvm.org/D80117

2020-05-28 18:56:38 +03:00

2 Commits