Commit 2a502eab authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

sync with frama-c master

parent 3749cfb7
Pipeline #33003 passed with stage
in 46 minutes and 33 seconds
cwe119.c:65:[nonterm] warning: non-terminating function call
cwe119.c:65:[nonterm:stmt] warning: non-terminating function call
stack: host_lookup :: cwe119.c:70 <- main
cwe119.c:73:[nonterm] warning: unreachable return
cwe119.c:73:[nonterm:unreachable] warning: unreachable return
cwe119.c:65:[nonterm] warning: non-terminating function call
cwe119.c:65:[nonterm:stmt] warning: non-terminating function call
stack: host_lookup :: cwe119.c:70 <- main
cwe119.c:73:[nonterm] warning: unreachable return
cwe119.c:73:[nonterm:unreachable] warning: unreachable return
cwe190.c:39:[nonterm] warning: non-terminating loop
cwe190.c:39:[nonterm:stmt] warning: non-terminating loop
stack: main
cwe190.c:39:[nonterm] warning: non-terminating loop
cwe190.c:39:[nonterm:stmt] warning: non-terminating loop
stack: main
cwe416.c:27:[nonterm] warning: non-terminating function call
cwe416.c:27:[nonterm:stmt] warning: non-terminating function call
stack: main
cwe416.c:27:[nonterm] warning: non-terminating function call
cwe416.c:27:[nonterm:stmt] warning: non-terminating function call
stack: main
cwe787.c:20:[nonterm] warning: non-terminating loop
cwe787.c:20:[nonterm:stmt] warning: non-terminating loop
stack: copy_input :: cwe787.c:42 <- main
cwe787.c:43:[nonterm] warning: unreachable return
cwe787.c:43:[nonterm:unreachable] warning: unreachable return
besson_blazy_wilkie_Fig_1.c:7:[nonterm] warning: unreachable return
besson_blazy_wilkie_Fig_1.c:7:[nonterm:unreachable] warning: unreachable return
besson_blazy_wilkie_Fig_1_adapted.c:7:[nonterm] warning: non-terminating function call
besson_blazy_wilkie_Fig_1_adapted.c:7:[nonterm:stmt] warning: non-terminating function call
stack: main
cheri_03_ii_char.c:8:[nonterm] warning: non-terminating function call
cheri_03_ii_char.c:8:[nonterm:stmt] warning: non-terminating function call
stack: main
cheri_08_last_word.c:7:[nonterm] warning: non-terminating statement
cheri_08_last_word.c:7:[nonterm:stmt] warning: non-terminating statement
stack: main
compcertTSO-1.c:8:[nonterm] warning: non-terminating statement
compcertTSO-1.c:8:[nonterm:stmt] warning: non-terminating statement
stack: main
compcertTSO-2.c:8:[nonterm] warning: non-terminating statement
compcertTSO-2.c:8:[nonterm:stmt] warning: non-terminating statement
stack: main
effective_type_6.c:4:[nonterm] warning: non-terminating statement
effective_type_6.c:4:[nonterm:stmt] warning: non-terminating statement
stack: main
effective_type_7.c:6:[nonterm] warning: non-terminating statement
effective_type_7.c:6:[nonterm:stmt] warning: non-terminating statement
stack: main
frama-c-2013-03-13-2.c:8:[nonterm] warning: non-terminating statement
frama-c-2013-03-13-2.c:8:[nonterm:stmt] warning: non-terminating statement
stack: main
frama-c-2013-03-13-3-uc.c:7:[nonterm] warning: non-terminating statement
frama-c-2013-03-13-3-uc.c:7:[nonterm:stmt] warning: non-terminating statement
stack: main
frama-c-2013-03-13-3.c:9:[nonterm] warning: non-terminating statement
frama-c-2013-03-13-3.c:9:[nonterm:stmt] warning: non-terminating statement
stack: main
khmgzv-2.c:9:[nonterm] warning: non-terminating statement
khmgzv-2.c:9:[nonterm:stmt] warning: non-terminating statement
stack: main
null_pointer_4.c:5:[nonterm] warning: non-terminating statement
null_pointer_4.c:5:[nonterm:stmt] warning: non-terminating statement
stack: main
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment