Le 24/07/2017 à 23:26, Peter Maydell a écrit :
> On 24 July 2017 at 19:27, Philippe Mathieu-Daudé wrote:
>> Clang's scan-build-5.0 reports:
>>
>> linux-user/syscall.c:5581:9: warning: Dereference of undefined pointer value
>> if (*host_rt_dev_ptr != 0) {
>> ^~~~
>>
>> Repor
On 07/24/2017 04:33 PM, Laurent Vivier wrote:
Le 24/07/2017 à 20:27, Philippe Mathieu-Daudé a écrit :
Clang's scan-build-5.0 reports:
linux-user/syscall.c:5581:9: warning: Dereference of undefined pointer value
if (*host_rt_dev_ptr != 0) {
^~~~
Reported-by: Clang Stat
On 24 July 2017 at 19:27, Philippe Mathieu-Daudé wrote:
> Clang's scan-build-5.0 reports:
>
> linux-user/syscall.c:5581:9: warning: Dereference of undefined pointer value
> if (*host_rt_dev_ptr != 0) {
> ^~~~
>
> Reported-by: Clang Static Analyzer
> Suggested-by: Laurent Vi
Le 24/07/2017 à 20:27, Philippe Mathieu-Daudé a écrit :
> Clang's scan-build-5.0 reports:
>
> linux-user/syscall.c:5581:9: warning: Dereference of undefined pointer value
> if (*host_rt_dev_ptr != 0) {
> ^~~~
>
> Reported-by: Clang Static Analyzer
> Suggested-by: Laurent V
Clang's scan-build-5.0 reports:
linux-user/syscall.c:5581:9: warning: Dereference of undefined pointer value
if (*host_rt_dev_ptr != 0) {
^~~~
Reported-by: Clang Static Analyzer
Suggested-by: Laurent Vivier
Signed-off-by: Philippe Mathieu-Daudé
---
linux-user/syscall.c
