Project

General

Profile

Actions
Copy link

Bug #10025

open

jessie: typing error: This operation on numeric values requires potentially unsafe or ambiguous type conversion that should be explicitly specified (the values' types are `uint64' and `int32')

Added by Denis Efremov over 4 years ago.

Status:
New
Priority:
Normal
Assignee:
Mikhail Mandrykin
Start date:
01/09/2020
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

$ frama-c -av is_successorless_vertex.c

[kernel] Parsing is_successorless_vertex.c (with preprocessing)
[av] Starting AstraVer translation
[av] Warning: \separated is not supported by AstraVer. This predicate will be ignored
[av] Producing files for AstraVer in subdir is_successorless_vertex.c.av
[av] File is_successorless_vertex.c.av/is_successorless_vertex_c.jc written.
[av] File is_successorless_vertex.c.av/is_successorless_vertex_c.cloc written.
[av] Calling AstraVer tool in subdir is_successorless_vertex.c.av
File "is_successorless_vertex_c.jc", line 116, characters 44-233: typing error: This operation on numeric values requires potentially unsafe or ambiguous type conversion that should be explicitly specified (the values' types are `uint64' and `int32')
[av] User Error: AstraVer subprocess failed:   astraver    -v       -locs is_successorless_vertex_c.cloc is_successorless_vertex_c.jc
[kernel] Plug-in av aborted: invalid user input.

Files

Download all files
graph.h (1.05 KB) graph.h Denis Efremov, 01/09/2020 07:29 PM
is_successorless_vertex.c (701 Bytes) is_successorless_vertex.c Denis Efremov, 01/09/2020 07:29 PM

No data to display

Actions
Copy link

Also available in: Atom PDF