index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
cparser
/
Cflow.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Improve control-flow analysis of "noreturn" function calls
Xavier Leroy
2022-05-19
1
-4
/
+18
*
Use the LGPL instead of the GPL for dual-licensed files
Xavier Leroy
2021-05-08
1
-4
/
+5
*
Support __builtin_unreachable
Xavier Leroy
2021-05-02
1
-1
/
+5
*
Typo in comment
Xavier Leroy
2018-09-03
1
-1
/
+1
*
Control-flow analysis: bug in switch without default
Xavier Leroy
2017-02-17
1
-1
/
+30
*
Added _exit.
Bernhard Schommer
2017-02-17
1
-1
/
+1
*
Add longjmp. Bug 21009
Bernhard Schommer
2017-02-17
1
-1
/
+1
*
Added handling for noreturn std functions.
Bernhard Schommer
2017-02-16
1
-3
/
+8
*
Reverted changes in Cutil and catch in Cflow.
Bernhard Schommer
2017-02-16
1
-0
/
+1
*
Cflow: analysis of "switch" was too imprecise
Xavier Leroy
2017-02-07
1
-2
/
+3
*
Revised, more precise implementation of control-flow analysis
Xavier Leroy
2017-02-07
1
-48
/
+98
*
Control-flow analysis: wrong flow for "case"/"default" statements
Xavier Leroy
2017-02-07
1
-4
/
+6
*
More precise warnings about function returns
Xavier Leroy
2017-02-07
1
-0
/
+195