infer_clone

Author	SHA1	Message	Date
Sungkeun Cho	b42d66d557	[inferbo][bugfix] Pointer arithmetics on pointers to non-array Summary: In the pointer arithmetics, it returns top, if we cannot precisely follow the physical memory model, e.g., (&x + 1). Reviewed By: mbouaziz Differential Revision: D7453510 fbshipit-source-id: db8738e	7 years ago
Sungkeun Cho	00e1139071	[frontend] Parse binary operator using types of parameters Summary: It parses "+" (and "-") to PlusA and PlusPI (and MinusA, MinusPI, MinusPP) using types of parameters. Reviewed By: mbouaziz Differential Revision: D7443048 fbshipit-source-id: bd560c7	7 years ago
Sungkeun Cho	9deec6ffde	[inferbo] Fix evaluation of Lindex Reviewed By: mbouaziz Differential Revision: D6371898 fbshipit-source-id: ba0508d	7 years ago
Kihong Heo	de32a6728e	[inferbo] remove bottoms in pointer arithmetic Summary: This diff fixes unintentional bottoms in pointer arithmetic of inferbo. The pointer arithmetic on addresses of variables (not array) just returns the operand. Reviewed By: jvillard Differential Revision: D5060424 fbshipit-source-id: 495d8b8	8 years ago